Details

Time bar (total: 2.1m)

sample194.0ms

Algorithm
intervals
Results
77.0ms239×body80nan
72.0ms256×body80valid

simplify226.0ms

Calls
1 calls:
Slowest
225.0ms
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))

prune48.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.4b

localize67.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
3.8b
(/ (* z (sqrt (+ t a))) t)
0.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
63×prod-diff
62×associate--r+
49×add-sqr-sqrt
45×add-cube-cbrt
36×times-frac
31×distribute-rgt-in distribute-lft-in
20×frac-sub
16×add-cbrt-cube add-exp-log
15×distribute-lft-out
12×div-inv
9×flip3-- flip--
8×frac-times associate-*r/
7×fma-neg associate-*r*
6×pow1 add-log-exp
5×flip3-+ sqrt-prod flip-+
4×expm1-log1p-u cbrt-undiv associate-/r* sqrt-div div-exp insert-posit16 log1p-expm1-u associate-/l*
3×sub-neg associate-*l* prod-exp cbrt-unprod
2×clear-num frac-2neg associate-*l/ associate--l+ unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative
Calls
4 calls:
Slowest
34.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
15.0ms
(* z (sqrt (+ t a)))
14.0ms
(/ (* z (sqrt (+ t a))) t)
6.0ms
(/ 2.0 (* t 3.0))

series481.0ms

Calls
4 calls:
Slowest
259.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
114.0ms
(/ (* z (sqrt (+ t a))) t)
86.0ms
(* z (sqrt (+ t a)))
22.0ms
(/ 2.0 (* t 3.0))

simplify31.5s

Calls
167 calls:
Slowest
1.1s
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
726.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
669.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))
592.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
544.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0))) (* t (* (- b c) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))

prune4.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize82.0ms

Local error

Found 4 expressions with local error:

4.2b
(fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(/ (sqrt (+ t a)) t)
0.2b
(/ x (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
33×times-frac
30×add-sqr-sqrt add-cube-cbrt
16×sqrt-prod
13×add-cbrt-cube add-exp-log associate-/l*
7×associate-/r*
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
3×clear-num frac-2neg div-inv
2×flip3-+ sqrt-div associate-/r/ flip-+ associate-/l/
1×prod-exp cbrt-unprod fma-udef
Calls
4 calls:
Slowest
20.0ms
(/ (sqrt (+ t a)) t)
14.0ms
(/ x (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))
12.0ms
(/ 2.0 (* t 3.0))
1.0ms
(fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series882.0ms

Calls
4 calls:
Slowest
470.0ms
(/ x (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))
311.0ms
(fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
71.0ms
(/ (sqrt (+ t a)) t)
30.0ms
(/ 2.0 (* t 3.0))

simplify6.8s

Calls
105 calls:
Slowest
485.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
441.0ms
(/ (* (* x x) x) (* (* (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))) (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))) (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))
361.0ms
(+ (* x x) (- (* (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))) (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))) (* x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))
237.0ms
(/ (sqrt x) (sqrt (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))
234.0ms
(/ (cbrt x) (cbrt (+ x (* y (exp (* 2.0 (fma z (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.7b

localize76.0ms

Local error

Found 4 expressions with local error:

6.0b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
3.8b
(/ (* z (sqrt (+ t a))) t)
2.6b
(log (exp (/ 2.0 (* t 3.0))))
0.3b
(/ 2.0 (* t 3.0))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
105×*-un-lft-identity
95×prod-diff
94×associate--r+
72×log-pow
63×exp-prod
61×add-sqr-sqrt add-cube-cbrt
47×distribute-rgt-in distribute-lft-in
39×times-frac
22×distribute-lft-out
14×add-cbrt-cube add-exp-log
13×pow1 div-inv
8×frac-sub
7×flip3-- fma-neg flip--
6×add-log-exp
4×expm1-log1p-u frac-times cbrt-undiv associate-/r* div-exp associate-*r/ insert-posit16 log1p-expm1-u associate-/l*
3×log-prod sub-neg
2×clear-num frac-2neg sqrt-div associate-*l/ prod-exp associate--l+ cbrt-unprod associate-/l/
1×flip3-+ diff-log rem-log-exp flip-+
Calls
4 calls:
Slowest
66.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
11.0ms
(/ (* z (sqrt (+ t a))) t)
9.0ms
(log (exp (/ 2.0 (* t 3.0))))
6.0ms
(/ 2.0 (* t 3.0))

series427.0ms

Calls
4 calls:
Slowest
249.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
136.0ms
(/ (* z (sqrt (+ t a))) t)
24.0ms
(/ 2.0 (* t 3.0))
18.0ms
(log (exp (/ 2.0 (* t 3.0))))

simplify39.0s

Calls
179 calls:
Slowest
884.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0))))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0)))))))))
648.0ms
(- (* (* z (sqrt (+ t a))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0))))) (* (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (log (exp (/ 2.0 (* t 3.0)))) 3)))))
622.0ms
(* (- b c) (fma (- (log (exp (* (cbrt (/ 2.0 (* t 3.0))) (cbrt (/ 2.0 (* t 3.0))))))) (cbrt (/ 2.0 (* t 3.0))) (* (log (exp (* (cbrt (/ 2.0 (* t 3.0))) (cbrt (/ 2.0 (* t 3.0)))))) (cbrt (/ 2.0 (* t 3.0))))))
569.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0))))))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0)))))))))
552.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0))))) (* (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))))

prune5.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize149.0ms

Local error

Found 4 expressions with local error:

16.3b
(posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))
8.5b
(real->posit16 (log (exp (/ 2.0 (* t 3.0)))))
6.0b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))
3.8b
(/ (* z (sqrt (+ t a))) t)

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
31×prod-diff
30×associate--r+
23×add-sqr-sqrt add-cube-cbrt
15×distribute-rgt-in distribute-lft-in
9×times-frac
8×add-cbrt-cube add-exp-log frac-sub
7×flip3-- fma-neg flip--
6×distribute-lft-out
5×add-log-exp
4×frac-times associate-*r/
3×expm1-log1p-u pow1 associate-/r* sub-neg insert-posit16 log1p-expm1-u div-inv
2×cbrt-undiv sqrt-div div-exp associate-*l/ associate--l+ associate-/l/
1×clear-num frac-2neg flip3-+ diff-log prod-exp cbrt-unprod flip-+ remove-posit16 associate-/l*
Calls
4 calls:
Slowest
80.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))
23.0ms
(/ (* z (sqrt (+ t a))) t)
0.0ms
(posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))
0.0ms
(real->posit16 (log (exp (/ 2.0 (* t 3.0)))))

series364.0ms

Calls
4 calls:
Slowest
242.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))
95.0ms
(/ (* z (sqrt (+ t a))) t)
26.0ms
(posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))
0.0ms
(real->posit16 (log (exp (/ 2.0 (* t 3.0)))))

simplify20.0s

Calls
91 calls:
Slowest
695.0ms
(- (* (* z (sqrt (+ t a))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))) (* (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))) 3)))))
654.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))))
566.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))) (* (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0)))))))))))
511.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))) (- b c))))
496.0ms
(/ (exp (/ (* z (sqrt (+ t a))) t)) (exp (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (log (exp (/ 2.0 (* t 3.0))))))))))

prune4.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

regimes766.0ms

Accuracy

-5% (2.2b remaining)

Error of 2.4b against oracle of 0.1b and baseline of 2.3b

bsearch450.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.7s8000×body80valid
2.7s8046×body80nan