Details

Time bar (total: 1.3m)

sample87.0ms

Algorithm
intervals
Results
64.0ms266×body80valid

simplify275.0ms

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.7b

localize52.0ms

Local error

Found 4 expressions with local error:

24.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.1b
(fma y (fma y x z) 27464.7644705)
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 y (fma y x z) 27464.7644705)
0.0ms
(fma (fma y (fma (+ y a) y b) c) y i)

series590.0ms

Calls
4 calls:
Slowest
353.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))
145.0ms
(fma (fma y (fma (+ y a) y b) c) y i)
57.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
35.0ms
(fma y (fma y x z) 27464.7644705)

simplify5.3s

Calls
37 calls:
Slowest
302.0ms
(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)
292.0ms
(+ (pow y 4) (+ (* a (pow y 3)) (* (pow y 2) b)))
282.0ms
(+ (pow y 4) (+ (* a (pow y 3)) (* (pow y 2) b)))
258.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)
252.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)))

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 24.2b

localize64.0ms

Local error

Found 4 expressions with local error:

24.5b
(* (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.6b
(/ 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 x z) 27464.7644705)

rewrite43.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
22.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)))
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)
0.0ms
(fma y (fma y x z) 27464.7644705)

series541.0ms

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

simplify13.5s

Calls
79 calls:
Slowest
533.0ms
(/ (cbrt 1) (sqrt (fma (fma y (fma (+ y a) y b) c) y i)))
439.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
426.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
406.0ms
(/ (cbrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
386.0ms
(/ (cbrt 1) (fma (fma y (fma (+ y a) y b) c) y i))

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 24.2b

localize61.0ms

Local error

Found 4 expressions with local error:

24.5b
(* (fma y (* (* (cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) (cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))) (cbrt (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)))
19.4b
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))
19.4b
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))
19.4b
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))

rewrite18.0ms

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

series890.0ms

Calls
4 calls:
Slowest
268.0ms
(* (fma y (* (* (cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) (cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))) (cbrt (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)))
221.0ms
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))
209.0ms
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))
191.0ms
(cbrt (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))

simplify13.6s

Calls
61 calls:
Slowest
540.0ms
(exp (* -1/3 (+ (log (/ -1 x)) (* 3 (log (/ -1 y))))))
487.0ms
(- (+ (pow 230661.510616 1/3) (* 0.0396898531780084 (* y (pow 230661.510616 1/3)))) (* 0.0015752844452918634 (* (pow y 2) (pow 230661.510616 1/3))))
487.0ms
(exp (* -1/3 (+ (log (/ -1 x)) (* 3 (log (/ -1 y))))))
481.0ms
(exp (* -1/3 (+ (log (/ -1 x)) (* 3 (log (/ -1 y))))))
480.0ms
(- (+ (pow 230661.510616 1/3) (* 0.0396898531780084 (* y (pow 230661.510616 1/3)))) (* 0.0015752844452918634 (* (pow y 2) (pow 230661.510616 1/3))))

prune2.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 24.2b

localize60.0ms

Local error

Found 4 expressions with local error:

24.8b
(/ (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 x z) 27464.7644705)

rewrite15.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
9.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 x z) 27464.7644705)

series1.4s

Calls
4 calls:
Slowest
716.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))
572.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)))
52.0ms
(fma y (fma y (fma y x z) 27464.7644705) 230661.510616)
51.0ms
(fma y (fma y x z) 27464.7644705)

simplify26.1s

Calls
148 calls:
Slowest
618.0ms
(/ 1 (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
397.0ms
(/ (cbrt 1) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
394.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
384.0ms
(/ (sqrt 1) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
375.0ms
(- (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

prune3.6s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 24.2b

regimes1.5s

Accuracy

0% (0.8b remaining)

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

bsearch6.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.5s8262×body80valid