Details

Time bar (total: 53.0s)

sample87.0ms

Algorithm
intervals
Results
61.0ms261×body80valid

simplify291.0ms

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

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.2b

localize80.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (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 (fma y x z) 27464.7644705) 230661.510616) t)
0.0b
(fma y (fma (+ y a) y b) c)
0.0b
(fma y (fma y x z) 27464.7644705)

rewrite11.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
Counts
4 → 63
Calls
4 calls:
Slowest
9.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 (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 x z) 27464.7644705)

series604.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
333.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))
125.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
90.0ms
(fma y (fma (+ y a) y b) c)
56.0ms
(fma y (fma y x z) 27464.7644705)

simplify5.3s

Counts
37 → 75
Calls
37 calls:
Slowest
377.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
343.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
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)
256.0ms
(sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
238.0ms
(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 25.7b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 95
Calls
4 calls:
Slowest
10.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 (fma y x z) 27464.7644705) 230661.510616) t)
0.0ms
(fma y (fma y x z) 27464.7644705)

series585.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
361.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)))
91.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)
75.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
57.0ms
(fma y (fma y x z) 27464.7644705)

simplify10.9s

Counts
69 → 107
Calls
69 calls:
Slowest
427.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
397.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
378.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
375.0ms
(/ (cbrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
373.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))

prune2.6s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 25.7b

localize62.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×cbrt-prod 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* pow1/3 associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 72
Calls
4 calls:
Slowest
4.0ms
(/ (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
1.0ms
(cbrt (fma y (fma y x z) 27464.7644705))
1.0ms
(cbrt (fma y (fma y x z) 27464.7644705))
1.0ms
(cbrt (fma y (fma y x z) 27464.7644705))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
595.0ms
(cbrt (fma y (fma y x z) 27464.7644705))
358.0ms
(/ (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
290.0ms
(cbrt (fma y (fma y x z) 27464.7644705))
262.0ms
(cbrt (fma y (fma y x z) 27464.7644705))

simplify9.3s

Counts
46 → 84
Calls
46 calls:
Slowest
462.0ms
(/ (cbrt (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t)) (fma (fma y (fma (+ y a) y b) c) y i))
438.0ms
(/ (sqrt (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (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))))
437.0ms
(/ (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t) (fma (fma y (fma (+ y a) y b) c) y i))
436.0ms
(/ (sqrt (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t)) (sqrt (fma (fma y (fma (+ y a) y b) c) y i)))
416.0ms
(/ (fma y (fma y (* (* (cbrt (fma y (fma y x z) 27464.7644705)) (cbrt (fma y (fma y x z) 27464.7644705))) (cbrt (fma y (fma y x z) 27464.7644705))) 230661.510616) t) (sqrt (fma (fma y (fma (+ y a) y b) c) y i)))

prune2.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 25.7b

localize102.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×add-sqr-sqrt times-frac
26×*-un-lft-identity add-cube-cbrt
9×pow1 add-exp-log
7×cbrt-div add-cbrt-cube
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod div-inv
1×frac-times associate-*r* associate-*l/ *-commutative unswap-sqr
Counts
4 → 100
Calls
4 calls:
Slowest
19.0ms
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (* (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)))))
1.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
1.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
1.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
618.0ms
(* (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t) (* (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)))))
217.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
213.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))
189.0ms
(cbrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i)))

simplify9.6s

Counts
68 → 112
Calls
68 calls:
Slowest
422.0ms
(cbrt (sqrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))))
398.0ms
(cbrt (sqrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))))
393.0ms
(cbrt (/ 1 (sqrt (fma (fma y (fma (+ y a) y b) c) y i))))
376.0ms
(cbrt (/ 1 (sqrt (fma (fma y (fma (+ y a) y b) c) y i))))
372.0ms
(cbrt (sqrt (/ 1 (fma (fma y (fma (+ y a) y b) c) y i))))

prune2.6s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 25.2b

regimes1.9s

Accuracy

0% (1.2b remaining)

Error of 28.3b against oracle of 27.1b and baseline of 28.3b

bsearch6.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.1s8244×body80valid