Details

Time bar (total: 27.3s)

sample83.0ms

Algorithm
intervals
Results
40.0ms265×body80valid

simplify2.7s

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

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.4b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite185.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*
5×flip3-+ flip-+
4×associate-*r/ add-log-exp
3×associate-/r* pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l* unswap-sqr
2×distribute-rgt-in distribute-lft-in associate-*l/ associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 95
Calls
4 calls:
43.0ms
(* y (+ (* (+ y a) y) b))
15.0ms
(* y (+ z (* x y)))
44.0ms
(* (+ (* y (+ z (* x y))) 27464.7644705) y)
79.0ms
(/ (+ (* y (+ (* (+ (* y (+ z (* x y))) 27464.7644705) y) 230661.510616)) t) (+ i (* y (+ (* y (+ (* (+ y a) y) b)) c))))

series568.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* y (+ (* (+ y a) y) b))
49.0ms
(* y (+ z (* x y)))
66.0ms
(* (+ (* y (+ z (* x y))) 27464.7644705) y)
408.0ms
(/ (+ (* y (+ (* (+ (* y (+ z (* x y))) 27464.7644705) y) 230661.510616)) t) (+ i (* y (+ (* y (+ (* (+ y a) y) b)) c))))

simplify1.9s

Counts
107 → 107
Iterations
IterNodes
done5001
23352
1613
0201

prune1.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 26.5b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite284.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
24×add-cube-cbrt
21×associate-*r* add-exp-log
20×times-frac
15×add-cbrt-cube
11×pow1
9×associate-*l*
6×flip3-+ prod-exp flip-+
5×unswap-sqr
4×div-exp associate-*l/ associate-/r/ cbrt-unprod add-log-exp
3×associate-/r* pow-prod-down associate-*r/ *-commutative associate-/l*
2×frac-times cbrt-undiv rec-exp 1-exp div-inv
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in un-div-inv pow-flip inv-pow
Counts
4 → 117
Calls
4 calls:
18.0ms
(* y (+ z (* x y)))
33.0ms
(* (+ (* y (+ z (* x y))) 27464.7644705) y)
19.0ms
(/ 1 (+ (* y (+ c (* y (+ b (* (+ a y) y))))) i))
211.0ms
(* (+ (* y (+ (* (+ (* y (+ z (* x y))) 27464.7644705) y) 230661.510616)) t) (/ 1 (+ (* y (+ c (* y (+ b (* (+ a y) y))))) i)))

series519.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* y (+ z (* x y)))
65.0ms
(* (+ (* y (+ z (* x y))) 27464.7644705) y)
90.0ms
(/ 1 (+ (* y (+ c (* y (+ b (* (+ a y) y))))) i))
312.0ms
(* (+ (* y (+ (* (+ (* y (+ z (* x y))) 27464.7644705) y) 230661.510616)) t) (/ 1 (+ (* y (+ c (* y (+ b (* (+ a y) y))))) i)))

simplify3.5s

Counts
129 → 129
Iterations
IterNodes
done5001
24884
1641
0210

prune1.4s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 26.5b

localize102.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
331.0ms
(cbrt (+ b (* (+ a y) y)))
291.0ms
(cbrt (+ b (* (+ a y) y)))
139.0ms
(cbrt (+ (* (+ y a) y) b))
354.0ms
(/ (+ (* y (+ (* (+ (* y (+ z (* x y))) 27464.7644705) y) 230661.510616)) t) (+ i (* y (+ (* (* (* (cbrt (+ b (* (+ a y) y))) (cbrt (+ b (* (+ a y) y)))) y) (cbrt (+ (* (+ y a) y) b))) c))))

simplify968.0ms

Counts
82 → 82
Iterations
IterNodes
done5000
22095
1476
0185

prune1.1s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 26.5b

localize101.0ms

Local error

Found 4 expressions with local error:

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

rewrite178.0ms

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

series3.4s

Counts
4 → 12
Calls
4 calls:
1.9s
(cbrt (/ (+ t (* y (+ (* (+ (* (+ z (* y x)) y) 27464.7644705) y) 230661.510616))) (+ i (* y (+ c (* (+ b (* (+ a y) y)) y))))))
488.0ms
(/ (+ t (* y (+ (* (+ (* (+ z (* y x)) y) 27464.7644705) y) 230661.510616))) (+ i (* y (+ c (* (+ b (* (+ a y) y)) y)))))
532.0ms
(/ (+ t (* y (+ (* (+ (* (+ z (* y x)) y) 27464.7644705) y) 230661.510616))) (+ i (* y (+ c (* (+ b (* (+ a y) y)) y)))))
486.0ms
(/ (+ t (* y (+ (* (+ (* (+ z (* y x)) y) 27464.7644705) y) 230661.510616))) (+ i (* y (+ c (* (+ b (* (+ a y) y)) y)))))

simplify761.0ms

Counts
129 → 129
Iterations
IterNodes
done5000
21297
1370
0167

prune2.1s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 26.5b

regimes2.1s

Accuracy

0% (1.1b remaining)

Error of 29.1b against oracle of 27.9b and baseline of 29.1b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done46
146
028

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.9s8259×body80valid