Details

Time bar (total: 23.6s)

sample195.0ms

Algorithm
intervals
Results
111.0ms523×body80valid

simplify7.0s

Counts
1 → 1
Iterations

Useful iterations: 5 (5.9s)

IterNodesCost
02831
16729
222127
375727
4262327
5439726
done500026

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a 4.0) t)
0.4b
(* (* j 27.0) k)
3.8b
(* (* (* x 18.0) y) z)
3.9b
(* (* (* (* x 18.0) y) z) t)

rewrite397.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:
21.0ms
(* (* a 4.0) t)
18.0ms
(* (* j 27.0) k)
77.0ms
(* (* (* x 18.0) y) z)
278.0ms
(* (* (* (* x 18.0) y) z) t)

series159.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (* a 4.0) t)
20.0ms
(* (* j 27.0) k)
41.0ms
(* (* (* x 18.0) y) z)
61.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.4s

Counts
101 → 101
Iterations

Useful iterations: 2 (436.0ms)

IterNodesCost
0164974
1419944
21893738
done5001738

prune390.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* a 4.0) t)
3.8b
(* (* (* x 18.0) y) z)
3.9b
(* (* (* (* x 18.0) y) z) t)

rewrite285.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 18.0) y)
19.0ms
(* (* a 4.0) t)
55.0ms
(* (* (* x 18.0) y) z)
189.0ms
(* (* (* (* x 18.0) y) z) t)

series139.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* x 18.0) y)
24.0ms
(* (* a 4.0) t)
30.0ms
(* (* (* x 18.0) y) z)
52.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.5s

Counts
101 → 101
Iterations

Useful iterations: 2 (325.0ms)

IterNodesCost
0138974
1350944
21683738
done5000738

prune425.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

3.9b
(* (* (* (* x 18.0) y) z) t)
8.9b
(cbrt (* (* a 4.0) t))
8.9b
(cbrt (* (* a 4.0) t))
8.9b
(cbrt (* (* a 4.0) t))

rewrite303.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
10×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 → 59
Calls
4 calls:
236.0ms
(* (* (* (* x 18.0) y) z) t)
24.0ms
(cbrt (* (* a 4.0) t))
20.0ms
(cbrt (* (* a 4.0) t))
20.0ms
(cbrt (* (* a 4.0) t))

series468.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* (* (* x 18.0) y) z) t)
150.0ms
(cbrt (* (* a 4.0) t))
152.0ms
(cbrt (* (* a 4.0) t))
118.0ms
(cbrt (* (* a 4.0) t))

simplify1.3s

Counts
71 → 71
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0115769
1287751
21126622
done5000607

prune483.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* 27.0 k))
0.2b
(* (* x 18.0) y)
0.2b
(* (* a 4.0) t)
6.2b
(* (* (* x 18.0) y) (* t z))

rewrite129.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:
23.0ms
(* j (* 27.0 k))
17.0ms
(* (* x 18.0) y)
18.0ms
(* (* a 4.0) t)
69.0ms
(* (* (* x 18.0) y) (* t z))

series114.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* j (* 27.0 k))
21.0ms
(* (* x 18.0) y)
24.0ms
(* (* a 4.0) t)
49.0ms
(* (* (* x 18.0) y) (* t z))

simplify1.5s

Counts
102 → 102
Iterations

Useful iterations: 2 (281.0ms)

IterNodesCost
0161958
1406930
21766714
done5000714

prune409.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes1.1s

Accuracy

28.1% (3.9b remaining)

Error of 4.1b against oracle of 0.2b and baseline of 5.6b

bsearch416.0ms

Steps
ItersRangePoint
9
1.527175545795471e+31
1.535468812280115e+40
3.6329201731618046e+34
9
-3.8178828777837515e+43
-1.187703393884397e+37
-2.0914716771617472e+38

simplify10.0ms

Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
044103
16671
done6671

end0.0ms

sample5.3s

Algorithm
intervals
Results
3.5s16170×body80valid