Details

Time bar (total: 1.1m)

sample76.0ms

Algorithm
intervals
Results
52.0ms265×body80valid

simplify311.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.2b

localize68.0ms

Local error

Found 4 expressions with local error:

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

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
Counts
4 → 63
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 x z) 27464.7644705)
0.0ms
(fma y (fma (+ y a) y b) c)
0.0ms
(fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)

series634.0ms

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

simplify5.9s

Counts
37 → 75
Calls
37 calls:
Slowest
406.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
405.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
304.0ms
(/ (sqrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)) 1)
293.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)
292.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

12 alts after pruning (12 fresh and 0 done)

Merged error: 31.4b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
9×times-frac
8×add-cbrt-cube add-exp-log
6×pow1
4×expm1-log1p-u fma-udef insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-*r* associate-*l* associate-/l*
2×associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in flip3-+ div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ div-inv unswap-sqr
Counts
4 → 77
Calls
4 calls:
Slowest
19.0ms
(/ (+ (* 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))
10.0ms
(* y (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 a) y b) c)

series946.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
715.0ms
(/ (+ (* 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))
89.0ms
(* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))
84.0ms
(fma y (fma (+ y a) y b) c)
58.0ms
(fma y (fma y x z) 27464.7644705)

simplify8.6s

Counts
51 → 89
Calls
51 calls:
Slowest
667.0ms
(+ (pow (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) 3) (pow t 3))
634.0ms
(- (* (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616))) (* t t))
422.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
406.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))
380.0ms
(/ (* (* (+ (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) t) (+ (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) t)) (+ (* 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)))

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 31.4b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.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×frac-times cbrt-undiv rec-exp flip3-+ 1-exp associate-*l/ cbrt-unprod flip-+ fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 99
Calls
4 calls:
Slowest
48.0ms
(* (+ (* 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 x z) 27464.7644705)
0.0ms
(fma y (fma (+ y a) y b) c)

series546.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
330.0ms
(* (+ (* 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)))
96.0ms
(fma y (fma (+ y a) y b) c)
76.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
44.0ms
(fma y (fma y x z) 27464.7644705)

simplify13.5s

Counts
75 → 111
Calls
75 calls:
Slowest
439.0ms
(* (* (* (+ (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) t) (+ (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) t)) (+ (* y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616)) t)) (/ (* (* 1 1) 1) (* (* (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))))
431.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
413.0ms
(/ 1 (fma (fma y (fma (+ y a) y b) c) y i))
404.0ms
(/ (sqrt 1) (fma (fma y (fma (+ y a) y b) c) y i))
397.0ms
(+ (* a (pow y 2)) (+ (pow y 3) (* y b)))

prune2.8s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 31.4b

localize82.0ms

Local error

Found 4 expressions with local error:

28.5b
(/ (* (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))))
20.7b
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
20.7b
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
20.7b
(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*
Counts
4 → 109
Calls
4 calls:
Slowest
27.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))))
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))
1.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
315.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))))
290.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
274.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
264.0ms
(cbrt (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

simplify19.9s

Counts
97 → 121
Calls
97 calls:
Slowest
400.0ms
(+ (pow t 1/3) (* 76887.17020533333 (* (pow (/ 1 (pow t 2)) 1/3) y)))
396.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)))))
365.0ms
(+ (pow t 1/3) (* 76887.17020533333 (* (pow (/ 1 (pow t 2)) 1/3) y)))
354.0ms
(exp (* -1/3 (+ (log (/ 1 x)) (* 4 (log (/ 1 y))))))
347.0ms
(exp (* -1/3 (+ (log (/ 1 x)) (* 4 (log (/ 1 y))))))

prune2.8s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 31.4b

regimes1.6s

Accuracy

0% (0.8b remaining)

Error of 28.8b against oracle of 28.0b and baseline of 28.8b

bsearch6.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.9s8249×body80valid