Details

Time bar (total: 28.5s)

sample158.0ms

Algorithm
intervals
Results
84.0ms540×body80valid

simplify4.5s

Counts
1 → 1
Iterations

Useful iterations: done (4.5s)

IterNodesCost
02831
16729
222127
379527
4364327
done500026

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.5b
(* (* x 18.0) y)
5.6b
(* (* (* (* x 18.0) y) z) t)
6.4b
(* (* (* x 18.0) y) z)

rewrite433.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:
18.0ms
(* (* x 4.0) i)
26.0ms
(* (* x 18.0) y)
279.0ms
(* (* (* (* x 18.0) y) z) t)
106.0ms
(* (* (* x 18.0) y) z)

series222.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (* x 4.0) i)
38.0ms
(* (* x 18.0) y)
96.0ms
(* (* (* (* x 18.0) y) z) t)
46.0ms
(* (* (* x 18.0) y) z)

simplify3.4s

Counts
101 → 101
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0141974
1374944
23097774
done5001768

prune714.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.5b
(* (* x 18.0) y)
3.1b
(* t (* (* x 18.0) y))
7.7b
(* (* t (* (* x 18.0) y)) z)

rewrite335.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×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 → 89
Calls
4 calls:
18.0ms
(* (* x 4.0) i)
18.0ms
(* (* x 18.0) y)
73.0ms
(* t (* (* x 18.0) y))
223.0ms
(* (* t (* (* x 18.0) y)) z)

series180.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* x 4.0) i)
31.0ms
(* (* x 18.0) y)
44.0ms
(* t (* (* x 18.0) y))
66.0ms
(* (* t (* (* x 18.0) y)) z)

simplify2.5s

Counts
101 → 101
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0140977
1376949
22419775
done5000761

prune672.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize62.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.5b
(* t (* x 18.0))
4.8b
(* (* t (* x 18.0)) y)
7.7b
(* (* (* t (* x 18.0)) y) z)

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×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 → 89
Calls
4 calls:
18.0ms
(* (* x 4.0) i)
19.0ms
(* t (* x 18.0))
56.0ms
(* (* t (* x 18.0)) y)
215.0ms
(* (* (* t (* x 18.0)) y) z)

series228.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (* x 4.0) i)
43.0ms
(* t (* x 18.0))
49.0ms
(* (* t (* x 18.0)) y)
91.0ms
(* (* (* t (* x 18.0)) y) z)

simplify2.5s

Counts
101 → 101
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0140973
1367945
22556765
done5001761

prune646.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize59.0ms

Local error

Found 4 expressions with local error:

7.7b
(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
18.9b
(cbrt (* (* t (* x 18.0)) y))
18.9b
(cbrt (* (* t (* x 18.0)) y))
18.9b
(cbrt (* (* t (* x 18.0)) y))

rewrite561.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log
9×add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 56
Calls
4 calls:
396.0ms
(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
70.0ms
(cbrt (* (* t (* x 18.0)) y))
47.0ms
(cbrt (* (* t (* x 18.0)) y))
46.0ms
(cbrt (* (* t (* x 18.0)) y))

series648.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(* (* (* (cbrt (* (* t (* x 18.0)) y)) (cbrt (* (* t (* x 18.0)) y))) (cbrt (* (* t (* x 18.0)) y))) z)
183.0ms
(cbrt (* (* t (* x 18.0)) y))
162.0ms
(cbrt (* (* t (* x 18.0)) y))
142.0ms
(cbrt (* (* t (* x 18.0)) y))

simplify965.0ms

Counts
68 → 68
Iterations

Useful iterations: done (962.0ms)

IterNodesCost
01001335
12481298
21126782
done5000686

prune665.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

regimes1.6s

Accuracy

57.3% (1.8b remaining)

Error of 2.1b against oracle of 0.2b and baseline of 4.5b

bsearch606.0ms

Steps
ItersRangePoint
8
1.1595509377637656e-149
4.113408324853509e-147
1.2555940916309138e-148
9
-7.111369096383435e+18
-1866252227957.9976
-2.6337128988574797e+17

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
042101
16271
done6271

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.3s16036×body80valid