Details

Time bar (total: 27.2s)

sample93.0ms

Algorithm
intervals
Results
42.0ms270×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5001
52858
4824
3264
288
141
026

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
27.5b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite392.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube add-exp-log
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*l/
5×flip3-+ flip-+
4×add-log-exp
3×associate-/r* pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 91
Calls
4 calls:
108.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
63.0ms
(* (+ (* (+ y a) y) b) y)
76.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
140.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series801.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
43.0ms
(* (+ (* (+ y a) y) b) y)
73.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
583.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify1.7s

Counts
103 → 103
Iterations
IterNodes
done5001
22832
1526
0195

prune1.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 26.7b

localize65.0ms

Local error

Found 4 expressions with local error:

20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
27.5b
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div add-cbrt-cube associate-*l/ add-exp-log
5×flip3-+ flip-+
4×pow1 add-log-exp
3×cbrt-prod associate-/r* pow1/3 associate-/l*
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 64
Calls
4 calls:
20.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
10.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
10.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
299.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series1.5s

Counts
4 → 12
Calls
4 calls:
356.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
321.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
299.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
562.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify744.0ms

Counts
76 → 76
Iterations
IterNodes
done5000
21238
1366
0149

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 26.7b

localize111.0ms

Local error

Found 4 expressions with local error:

20.0b
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
20.0b
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
20.0b
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
27.5b
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (* (* (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y)))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div add-cbrt-cube associate-*l/ add-exp-log
5×flip3-+ flip-+
4×pow1 add-log-exp
3×cbrt-prod associate-/r* pow1/3 associate-/l*
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 64
Calls
4 calls:
20.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
17.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
11.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
1.1s
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (* (* (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y)))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series2.2s

Counts
4 → 12
Calls
4 calls:
580.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
555.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
567.0ms
(cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))
531.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (* (* (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y)))) (cbrt (cbrt (* (+ (* (+ z (* y x)) y) 27464.7644705) y))))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify802.0ms

Counts
76 → 76
Iterations
IterNodes
done5001
21590
1454
0180

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 26.7b

localize72.0ms

Local error

Found 4 expressions with local error:

20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
20.0b
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
27.4b
(* (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ i (* y (+ c (* y (+ (* y (+ a y)) b)))))))

rewrite711.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×associate-*r*
13×*-un-lft-identity add-exp-log
12×add-cube-cbrt
11×times-frac
9×add-cbrt-cube
8×associate-*l/
6×pow1 cbrt-div flip3-+ flip-+
4×prod-exp add-log-exp
3×cbrt-prod pow1/3 associate-*l* unswap-sqr
2×frac-times div-exp associate-/r/ cbrt-unprod
1×cbrt-undiv rec-exp 1-exp pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 75
Calls
4 calls:
18.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
18.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
18.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
653.0ms
(* (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ i (* y (+ c (* y (+ (* y (+ a y)) b)))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
384.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
324.0ms
(cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))
563.0ms
(* (+ (* (+ (* (* (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y)) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) (cbrt (* (+ (* y (+ z (* y x))) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ i (* y (+ c (* y (+ (* y (+ a y)) b)))))))

simplify4.0s

Counts
87 → 87
Iterations
IterNodes
done5001
23203
1518
0181

prune880.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 26.7b

regimes1.5s

Accuracy

0% (1.1b remaining)

Error of 29.2b against oracle of 28.1b and baseline of 29.2b

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
done55
355
254
153
036

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.9s8242×body80valid