Details

Time bar (total: 59.5s)

sample83.0ms

Algorithm
intervals
Results
21.0ms263×body80valid

simplify7.6s

Counts
1 → 1
Iterations
IterNodes
done5000
74646
63199
51788
4733
3264
288
141
026

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize148.0ms

Local error

Found 4 expressions with local error:

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

rewrite570.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×insert-posit16 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 → 95
Calls
4 calls:
156.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
86.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
120.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
203.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series1.5s

Counts
4 → 12
Calls
4 calls:
192.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
157.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
131.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
994.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify4.2s

Counts
107 → 107
Iterations
IterNodes
done5002
21940
1524
0200

prune3.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 27.7b

localize235.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

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 insert-posit16 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 → 74
Calls
4 calls:
48.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
36.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
26.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
935.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

series2.1s

Counts
4 → 12
Calls
4 calls:
291.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
406.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
313.0ms
(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
1.1s
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

simplify6.8s

Counts
86 → 86
Iterations
IterNodes
done5000
34172
2989
1313
0129

prune2.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 27.7b

localize195.0ms

Local error

Found 4 expressions with local error:

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

rewrite628.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 insert-posit16 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 → 121
Calls
4 calls:
128.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
34.0ms
(* y (+ c (* y (+ b (* (+ y a) y)))))
40.0ms
(/ 1 (+ (* y (+ c (* y (+ b (* (+ y a) y))))) i))
412.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* y (+ c (* y (+ b (* (+ y a) y))))) i)))

series1.4s

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
153.0ms
(* y (+ c (* y (+ b (* (+ y a) y)))))
139.0ms
(/ 1 (+ (* y (+ c (* y (+ b (* (+ y a) y))))) i))
1.0s
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* y (+ c (* y (+ b (* (+ y a) y))))) i)))

simplify4.5s

Counts
133 → 133
Iterations
IterNodes
done5003
22372
1633
0217

prune3.0s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 27.7b

localize337.0ms

Local error

Found 4 expressions with local error:

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

rewrite880.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
37×add-exp-log
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
18×add-cbrt-cube
14×prod-exp
13×div-exp
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv associate-*l*
6×pow1 cbrt-div
4×flip3-+ 1-exp flip-+ insert-posit16 add-log-exp
3×pow1/3
2×associate-/r/ div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 111
Calls
4 calls:
69.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
66.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
70.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
665.0ms
(* (/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) 1) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series2.9s

Counts
4 → 12
Calls
4 calls:
622.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
615.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
634.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
1.0s
(* (/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) 1) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify4.8s

Counts
123 → 123
Iterations
IterNodes
done5000
21813
1676
0217

prune2.9s

Pruning

14 alts after pruning (10 fresh and 4 done)

Merged error: 27.7b

regimes5.8s

Accuracy

0% (1.1b remaining)

Error of 29.6b against oracle of 28.5b and baseline of 29.6b

bsearch0.0ms

simplify22.0ms

Iterations
IterNodes
done41
141
026

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.7s8266×body80valid