Details

Time bar (total: 1.0m)

sample55.0ms

Algorithm
intervals
Results
38.0ms262×body80valid

simplify241.0ms

Calls
1 calls:
Slowest
241.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.7b

localize49.0ms

Local error

Found 4 expressions with local error:

28.7b
(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
0.1b
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
0.0b
(fma y (fma (+ y a) y b) c)
0.0b
(fma (fma y (fma (+ y a) y b) c) y i)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* fma-udef associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Calls
4 calls:
Slowest
4.0ms
(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
0.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
0.0ms
(fma (fma y (fma (+ y a) y b) c) y i)
0.0ms
(fma y (fma (+ y a) y b) c)

series585.0ms

Calls
4 calls:
Slowest
306.0ms
(/ (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
143.0ms
(fma (fma y (fma (+ y a) y b) c) y i)
76.0ms
(fma y (fma (+ y a) y b) c)
61.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify5.2s

Calls
37 calls:
Slowest
487.0ms
(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (sqrt (fma (fma y (fma (+ y a) y b) c) y i)))
285.0ms
(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)
261.0ms
(sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
236.0ms
(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) 1)
224.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 27.6b

localize7.0ms

Local error

Found 4 expressions with local error:

28.7b
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.4b
(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.1b
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
0.0b
(fma y (fma (+ y a) y b) c)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
16×associate-/r*
9×add-exp-log
6×add-cbrt-cube
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×div-inv associate-/l*
2×rec-exp clear-num frac-2neg div-exp fma-udef
1×cbrt-undiv associate-/r/ pow-flip inv-pow
Calls
4 calls:
Slowest
5.0ms
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
2.0ms
(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.0ms
(fma y (fma (+ y a) y b) c)
0.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

series1.4s

Calls
4 calls:
Slowest
652.0ms
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
600.0ms
(/ 1 (/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
74.0ms
(fma y (fma (+ y a) y b) c)
64.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify6.7s

Calls
52 calls:
Slowest
281.0ms
(/ 1 (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
232.0ms
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
231.0ms
(/ 1 (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
225.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
224.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

prune2.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 27.6b

localize17.0ms

Local error

Found 4 expressions with local error:

28.1b
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
0.6b
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
0.3b
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.1b
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
14×add-exp-log
13×div-inv
10×associate-/r*
6×pow1 rec-exp add-cbrt-cube
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×clear-num frac-2neg
2×pow-flip inv-pow
1×cbrt-undiv associate-/r/ fma-udef associate-/l/
Calls
4 calls:
Slowest
11.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
2.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
2.0ms
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

series899.0ms

Calls
4 calls:
Slowest
613.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
140.0ms
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
93.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
52.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify10.1s

Calls
64 calls:
Slowest
388.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
348.0ms
(* (cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))) (cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))))
329.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
327.0ms
(/ 1 (sqrt (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
295.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))

prune2.5s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 27.6b

localize29.0ms

Local error

Found 4 expressions with local error:

23.1b
(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
19.9b
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
19.9b
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
19.9b
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
58×times-frac
33×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×cbrt-prod
22×associate-/r*
16×add-exp-log
10×add-cbrt-cube
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 div-inv
2×prod-exp cbrt-unprod
1×clear-num frac-2neg associate-/r/ associate-/l*
Calls
4 calls:
Slowest
24.0ms
(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
2.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
1.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
1.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

series1.6s

Calls
4 calls:
Slowest
719.0ms
(/ (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
307.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
290.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
269.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

simplify18.8s

Calls
97 calls:
Slowest
497.0ms
(/ (* (* (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))) (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))) (* (* (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))) (/ (fma (fma y (fma (+ y a) y b) c) y i) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))))
342.0ms
(/ (* (* (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))) (* (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))) (/ (* (* (fma (fma y (fma (+ y a) y b) c) y i) (fma (fma y (fma (+ y a) y b) c) y i)) (fma (fma y (fma (+ y a) y b) c) y i)) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
338.0ms
(cbrt (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
322.0ms
(/ (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (/ 1 (* (cbrt (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))) (cbrt (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))))
318.0ms
(/ (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) (/ 1 (cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))

prune3.0s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 27.6b

regimes1.9s

Accuracy

0% (0.8b remaining)

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

bsearch6.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.6s8234×body80valid