Details

Time bar (total: 37.9s)

sample175.0ms

Algorithm
intervals
Results
65.0ms471×body80valid

simplify3.9s

Counts
1 → 1
Iterations

Useful iterations: done (3.9s)

IterNodesCost
02831
16729
222127
379527
4364327
done500026

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize73.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)

rewrite402.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:
19.0ms
(* (* j 27.0) k)
24.0ms
(* (* x 18.0) y)
81.0ms
(* (* (* x 18.0) y) z)
272.0ms
(* (* (* (* x 18.0) y) z) t)

series135.0ms

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

simplify2.8s

Counts
101 → 101
Iterations

Useful iterations: done (2.8s)

IterNodesCost
0145974
1379944
23069780
done5001774

prune803.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize66.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)))

rewrite292.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:
172.0ms
(* 18.0 (* t (* x (* z y))))
28.0ms
(* (* j 27.0) k)
22.0ms
(* x (* z y))
63.0ms
(* t (* x (* z y)))

series233.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* 18.0 (* t (* x (* z y))))
44.0ms
(* (* j 27.0) k)
39.0ms
(* x (* z y))
71.0ms
(* t (* x (* z y)))

simplify1.2s

Counts
101 → 101
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0132961
1329937
21626737
done5000735

prune665.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.7b

localize44.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)))

rewrite176.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:
29.0ms
(* (* x 4.0) i)
23.0ms
(* (* j 27.0) k)
24.0ms
(* x (* z y))
93.0ms
(* (* 18.0 t) (* x (* z y)))

series172.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* x 4.0) i)
28.0ms
(* (* j 27.0) k)
41.0ms
(* x (* z y))
71.0ms
(* (* 18.0 t) (* x (* z y)))

simplify1.2s

Counts
102 → 102
Iterations

Useful iterations: 2 (341.0ms)

IterNodesCost
0156954
1414926
22311714
done5001714

prune757.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.4b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.4s

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
22×add-sqr-sqrt
21×prod-diff pow-prod-down prod-exp cbrt-unprod
20×*-un-lft-identity
19×associate--l+
18×add-log-exp
16×add-cube-cbrt
8×diff-log
6×fma-neg
5×associate-*r* associate-*l* sqr-pow
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×unpow-prod-down *-commutative
2×sub-neg sum-log distribute-lft-out--
1×associate--l- flip3-- flip--
Counts
4 → 118
Calls
4 calls:
9.3s
(- (- (+ (- (* (* 18.0 t) (* x (* z y))) (* (* a 4.0) t)) (* b c)) (pow (* x (* 4.0 i)) 1)) (* (* j 27.0) k))
30.0ms
(* (* j 27.0) k)
23.0ms
(* x (* z y))
89.0ms
(* (* 18.0 t) (* x (* z y)))

series3.6s

Counts
4 → 12
Calls
4 calls:
3.5s
(- (- (+ (- (* (* 18.0 t) (* x (* z y))) (* (* a 4.0) t)) (* b c)) (pow (* x (* 4.0 i)) 1)) (* (* j 27.0) k))
29.0ms
(* (* j 27.0) k)
46.0ms
(* x (* z y))
61.0ms
(* (* 18.0 t) (* x (* z y)))

simplify2.1s

Counts
130 → 130
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02192710
15452368
227671958
done50001928

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

regimes3.6s

Accuracy

29.8% (3.7b remaining)

Error of 3.9b against oracle of 0.2b and baseline of 5.5b

bsearch389.0ms

Steps
ItersRangePoint
7
2.8374329996275164e+18
4.736265502473032e+19
4.1882372344794593e+18
8
-9.4293894238008e-115
-2.045968736067725e-118
-5.600889693485308e-115

simplify9.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
058110
186108
done86108

end0.0ms

sample4.6s

Algorithm
intervals
Results
2.9s16136×body80valid