Details

Time bar (total: 2.8m)

sample59.0ms

Algorithm
intervals
Results
41.0ms265×body80valid

simplify271.0ms

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.5b

localize49.0ms

Local error

Found 4 expressions with local error:

25.5b
(/ (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.1b
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
0.0b
(fma y (fma y x z) 27464.7644705)

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 y (fma y x z) 27464.7644705)
0.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

series600.0ms

Calls
4 calls:
Slowest
356.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))
142.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
63.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
39.0ms
(fma y (fma y x z) 27464.7644705)

simplify5.2s

Calls
37 calls:
Slowest
275.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)
242.0ms
(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)
232.0ms
(sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
218.0ms
(+ (* z (pow y 3)) (* x (pow y 4)))
212.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 (fma y (fma (+ y a) y b) c) y i)) (cbrt (fma (fma y (fma (+ y a) y b) c) y i))))

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 25.1b

localize7.0ms

Local error

Found 4 expressions with local error:

25.5b
(/ (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.3b
(/ 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.1b
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
57×*-un-lft-identity
56×add-sqr-sqrt add-cube-cbrt
19×associate-/r*
17×add-exp-log
11×add-cbrt-cube
10×associate-/l*
9×associate-/r/
8×div-exp
6×div-inv
5×pow1
4×expm1-log1p-u cbrt-undiv clear-num insert-posit16 log1p-expm1-u add-log-exp
3×frac-2neg
2×rec-exp 1-exp fma-udef remove-double-div
1×pow-flip inv-pow
Calls
4 calls:
Slowest
8.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)))
4.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))
0.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
0.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

series1.6s

Calls
4 calls:
Slowest
694.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))
668.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)))
141.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
74.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify27.4s

Calls
148 calls:
Slowest
691.0ms
(/ (sqrt 1) (/ 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)))))
392.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
389.0ms
(- (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
387.0ms
(/ (sqrt 1) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
363.0ms
(/ 1 (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))

prune3.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 25.0b

localize14.0ms

Local error

Found 4 expressions with local error:

25.6b
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
0.1b
(/ 1 (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.1b
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
9×associate-*r/
7×pow1 associate-/l*
6×associate-/r*
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num associate-*l* un-div-inv unswap-sqr
2×cbrt-undiv rec-exp frac-2neg 1-exp cbrt-unprod fma-udef div-inv
1×pow-prod-down *-commutative pow-flip inv-pow
Calls
4 calls:
Slowest
14.0ms
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
4.0ms
(/ 1 (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 y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

series647.0ms

Calls
4 calls:
Slowest
352.0ms
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
128.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
91.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
75.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify13.5s

Calls
79 calls:
Slowest
658.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
418.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
399.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
390.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
390.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))

prune2.7s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 25.0b

localize14.0ms

Local error

Found 4 expressions with local error:

25.6b
(/ (/ 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.1b
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
0.1b
(/ 1 (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)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
439×times-frac
220×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
52×add-exp-log
36×div-exp
31×div-inv
25×associate-/r* associate-/l*
20×add-cbrt-cube
10×cbrt-undiv rec-exp 1-exp
9×associate-/r/ associate-/l/
6×pow1
5×clear-num frac-2neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-flip inv-pow
1×fma-udef
Calls
4 calls:
Slowest
21.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)))
8.0ms
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
8.0ms
(/ 1 (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)

series875.0ms

Calls
4 calls:
Slowest
609.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)))
121.0ms
(/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
89.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
56.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)

simplify1.7m

Calls
463 calls:
Slowest
706.0ms
(/ (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)) (/ (sqrt 1) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
675.0ms
(/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 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)))))
595.0ms
(/ (/ (cbrt 1) (cbrt (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)))
551.0ms
(cbrt (fma (fma y (fma (+ y a) y b) c) y i))
402.0ms
(- (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

prune8.2s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 25.0b

regimes1.7s

Accuracy

0% (0.8b remaining)

Error of 28.2b against oracle of 27.4b and baseline of 28.2b

bsearch3.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.6s8228×body80valid