Details

Time bar (total: 1.3m)

sample163.0ms

Algorithm
intervals
Results
69.0ms256×body80valid
60.0ms282×body80nan

simplify507.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize99.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (* z (sqrt (+ t a))) t)
1.1b
(- (/ (* 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
(* z (sqrt (+ t a)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
9×flip3-- flip--
8×frac-times associate-*r/
6×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt associate--r+ add-log-exp
5×flip3-+ flip-+
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in sqrt-prod
2×clear-num frac-2neg associate-*l/ associate--l+ div-inv associate-/l/
1×associate-/r* diff-log *-commutative associate-/l*
Calls
4 calls:
Slowest
22.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
9.0ms
(/ (* z (sqrt (+ t a))) t)
4.0ms
(* z (sqrt (+ t a)))
1.0ms
(/ 2.0 (* t 3.0))

series300.0ms

Calls
4 calls:
Slowest
179.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
72.0ms
(/ (* z (sqrt (+ t a))) t)
36.0ms
(* z (sqrt (+ t a)))
12.0ms
(/ 2.0 (* t 3.0))

simplify12.5s

Calls
57 calls:
Slowest
816.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
728.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
649.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)))))
620.0ms
(* 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)))))))
555.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)))))

prune1.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (sqrt (+ t a)) (/ t z))
1.7b
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))))
1.1b
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))
0.3b
(/ 2.0 (* 3.0 t))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×sqrt-prod
14×frac-sub
9×flip3-- div-inv flip--
8×frac-times
6×add-cbrt-cube frac-add add-exp-log associate-/l* add-log-exp
5×pow1 log-prod associate-/r*
4×flip3-+ associate-*r/ log-pow flip-+ insert-posit16
3×exp-prod
2×clear-num sub-neg frac-2neg sqrt-div exp-sum associate-*l/ associate--r+ associate-/l/
1×distribute-rgt-in cbrt-undiv log-div distribute-lft-in exp-diff diff-log div-exp rem-log-exp associate-/r/
Calls
4 calls:
Slowest
49.0ms
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))))
28.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))
9.0ms
(/ (sqrt (+ t a)) (/ t z))
1.0ms
(/ 2.0 (* 3.0 t))

series432.0ms

Calls
4 calls:
Slowest
196.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))
175.0ms
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))))
54.0ms
(/ (sqrt (+ t a)) (/ t z))
7.0ms
(/ 2.0 (* 3.0 t))

simplify13.9s

Calls
114 calls:
Slowest
840.0ms
(- (* (sqrt (+ t a)) (* (+ b c) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* (- a (/ 2.0 (* 3.0 t))) (- a (/ 2.0 (* 3.0 t)))) (* (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t)))))))) (* (/ t z) (* (- (* b b) (* c c)) (+ (pow (/ 5.0 6.0) 3) (pow (- a (/ 2.0 (* 3.0 t))) 3)))))
763.0ms
(cbrt (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t)))))))
711.0ms
(- (* (sqrt (+ t a)) (* (+ b c) (* 6.0 (+ a (/ 2.0 (* 3.0 t)))))) (* (/ t z) (* (- (* b b) (* c c)) (+ (* 5.0 (+ a (/ 2.0 (* 3.0 t)))) (* 6.0 (- (* a a) (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t)))))))))
602.0ms
(- (* (sqrt (+ t a)) (* (+ (* b b) (+ (* c c) (* b c))) (- (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t)))))) (* (/ t z) (* (- (pow b 3) (pow c 3)) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (- a (/ 2.0 (* 3.0 t))) (- a (/ 2.0 (* 3.0 t))))))))
547.0ms
(* (/ t z) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* (- a (/ 2.0 (* 3.0 t))) (- a (/ 2.0 (* 3.0 t)))) (* (/ 5.0 6.0) (- a (/ 2.0 (* 3.0 t))))))))

prune2.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

40.9b
(cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))
3.9b
(/ (sqrt (+ t a)) (/ t z))
1.7b
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))))
1.1b
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
15×sqrt-prod
14×frac-sub
13×frac-times
9×flip3-- flip--
8×div-inv
7×cbrt-div associate-*l/ associate-*r/
6×add-cbrt-cube frac-add add-exp-log associate-/l* add-log-exp
5×pow1 log-prod
4×associate-/r* flip3-+ log-pow flip-+ insert-posit16
3×exp-prod
2×sub-neg sqrt-div exp-sum associate--r+ associate-/l/
1×cbrt-prod distribute-rgt-in cbrt-undiv log-div clear-num frac-2neg distribute-lft-in exp-diff pow1/3 diff-log div-exp rem-log-exp pow3 associate-/r/ rem-cbrt-cube
Calls
4 calls:
Slowest
33.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))
31.0ms
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))))
7.0ms
(cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))
4.0ms
(/ (sqrt (+ t a)) (/ t z))

series790.0ms

Calls
4 calls:
Slowest
342.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))
320.0ms
(log (exp (- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))))
72.0ms
(cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))
55.0ms
(/ (sqrt (+ t a)) (/ t z))

simplify16.0s

Calls
122 calls:
Slowest
985.0ms
(- (* (sqrt (+ t a)) (* 6.0 (+ (* a a) (+ (* (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))) (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) (* a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))) (* (/ t z) (* (- b c) (+ (* 5.0 (+ (* a a) (+ (* (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))) (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) (* a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))))) (* 6.0 (- (pow a 3) (pow (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))) 3)))))))
693.0ms
(- (* (sqrt (+ t a)) (* (+ b c) (* 6.0 (+ a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))))) (* (/ t z) (* (- (* b b) (* c c)) (+ (* 5.0 (+ a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))) (* 6.0 (- (* a a) (* (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))) (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))))))))
629.0ms
(- (* (sqrt (+ t a)) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))) (* (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))) (* (/ t z) (* (- b c) (+ (pow (/ 5.0 6.0) 3) (pow (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) 3)))))
609.0ms
(- (* (sqrt (+ t a)) (* (+ (* b b) (+ (* c c) (* b c))) (- (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))))) (* (/ t z) (* (- (pow b 3) (pow c 3)) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))))
582.0ms
(* (/ t z) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t)))))) (* (/ 5.0 6.0) (- a (cbrt (* (* (/ 2.0 (* 3.0 t)) (/ 2.0 (* 3.0 t))) (/ 2.0 (* 3.0 t))))))))))

prune3.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

55.6b
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
6.1b
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
1.1b
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.3b
(/ 2.0 (* t 3.0))

rewrite32.0ms

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

series312.0ms

Calls
4 calls:
Slowest
203.0ms
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
50.0ms
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
45.0ms
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
14.0ms
(/ 2.0 (* t 3.0))

simplify12.0s

Calls
49 calls:
Slowest
767.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
713.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
607.0ms
(* 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)))))))
595.0ms
(- (* (posit16->real (real->posit16 (* 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)))))
547.0ms
(- (* (posit16->real (real->posit16 (* 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)))))

prune2.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes759.0ms

Accuracy

0% (1.7b remaining)

Error of 2.8b against oracle of 1.1b and baseline of 2.8b

bsearch11.0ms

end0.0ms

sample6.3s

Algorithm
intervals
Results
2.9s8000×body80valid
2.6s7849×body80nan