Details

Time bar (total: 38.6s)

sample126.0ms

Algorithm
intervals
Results
60.0ms471×body80valid

simplify4.8s

Counts
1 → 1
Iterations

Useful iterations: done (4.8s)

IterNodesCost
02831
16729
222127
379527
4364327
done500026

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize93.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* j 27.0) k)
0.5b
(* (* x 18.0) y)
4.8b
(* (* (* x 18.0) y) z)
6.5b
(* (* (* (* x 18.0) y) z) t)

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
28.0ms
(* (* x 18.0) y)
68.0ms
(* (* (* x 18.0) y) z)
291.0ms
(* (* (* (* x 18.0) y) z) t)

series198.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* j 27.0) k)
37.0ms
(* (* x 18.0) y)
54.0ms
(* (* (* x 18.0) y) z)
75.0ms
(* (* (* (* x 18.0) y) z) t)

simplify3.1s

Counts
101 → 101
Iterations

Useful iterations: done (3.1s)

IterNodesCost
0145974
1379944
23069780
done5001774

prune994.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 18.0 (* t (* x (* z y))))
0.3b
(* (* j 27.0) k)
3.4b
(* x (* z y))
6.6b
(* t (* x (* z y)))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*l*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*r*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
177.0ms
(* 18.0 (* t (* x (* z y))))
33.0ms
(* (* j 27.0) k)
18.0ms
(* x (* z y))
85.0ms
(* t (* x (* z y)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(* 18.0 (* t (* x (* z y))))
35.0ms
(* (* j 27.0) k)
54.0ms
(* x (* z y))
74.0ms
(* t (* x (* z y)))

simplify1.2s

Counts
101 → 101
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0132961
1329937
21626737
done5000735

prune828.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.7b

localize81.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.3b
(* (* j 27.0) k)
3.4b
(* x (* z y))
6.7b
(* (* 18.0 t) (* x (* z y)))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-exp-log add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
8×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 90
Calls
4 calls:
30.0ms
(* (* x 4.0) i)
22.0ms
(* (* j 27.0) k)
19.0ms
(* x (* z y))
80.0ms
(* (* 18.0 t) (* x (* z y)))

series185.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x 4.0) i)
30.0ms
(* (* j 27.0) k)
37.0ms
(* x (* z y))
70.0ms
(* (* 18.0 t) (* x (* z y)))

simplify1.8s

Counts
102 → 102
Iterations

Useful iterations: 2 (436.0ms)

IterNodesCost
0156954
1414926
22311714
done5001714

prune960.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.4b

localize77.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (+ (- (* (* 18.0 t) (* x (* z y))) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))
0.3b
(* (* j 27.0) k)
3.4b
(* x (* z y))
6.7b
(* (* 18.0 t) (* x (* z y)))

rewrite10.8s

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
18×add-log-exp
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×diff-log
7×associate--l+
6×prod-diff
5×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u
3×fma-neg *-commutative
2×sub-neg sum-log
1×associate--l- flip3-- flip--
Counts
4 → 100
Calls
4 calls:
10.6s
(- (- (+ (- (* (* 18.0 t) (* x (* z y))) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))
37.0ms
(* (* j 27.0) k)
34.0ms
(* x (* z y))
97.0ms
(* (* 18.0 t) (* x (* z y)))

series3.2s

Counts
4 → 12
Calls
4 calls:
3.0s
(- (- (+ (- (* (* 18.0 t) (* x (* z y))) (* (* a 4.0) t)) (* b c)) (* x (* 4.0 i))) (* (* j 27.0) k))
20.0ms
(* (* j 27.0) k)
37.0ms
(* x (* z y))
68.0ms
(* (* 18.0 t) (* x (* z y)))

simplify1.3s

Counts
112 → 112
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01881892
14791823
223571514
done50001459

prune634.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.4b

regimes2.4s

Accuracy

48.3% (3.1b remaining)

Error of 3.5b against oracle of 0.4b and baseline of 6.4b

bsearch358.0ms

Steps
ItersRangePoint
9
7.961984083346877e+33
1.0492473748356488e+39
1.884683420697396e+35
8
-2.599214335895374e+26
-7.157196797490843e+21
-3.380312384381862e+25

simplify11.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
055108
178108
279108
done79108

end0.0ms

sample4.1s

Algorithm
intervals
Results
2.8s16136×body80valid