Details

Time bar (total: 4.4m)

sample185.0ms

Algorithm
intervals
Results
83.0ms282×body80nan
62.0ms256×body80valid

simplify409.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

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

series248.0ms

Calls
4 calls:
Slowest
139.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
60.0ms
(/ (* z (sqrt (+ a t))) t)
42.0ms
(* z (sqrt (+ a t)))
7.0ms
(/ 2.0 (* t 3.0))

simplify16.1s

Calls
66 calls:
Slowest
798.0ms
(- (* (* z (sqrt (+ a t))) (* (* (- (/ 5.0 6.0) a) (* t 3.0)) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a a)) (* t 3.0)) (* (- (/ 5.0 6.0) a) 2.0)) (- (pow b 3) (pow c 3)))))
792.0ms
(- (* (* z (sqrt (+ a t))) (* (+ (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) (- (pow b 3) (pow c 3)))))
766.0ms
(- (* (* z (sqrt (+ a t))) (* (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* a a) (* (/ 5.0 6.0) a))) (* t 3.0)) (+ b c))) (* t (* (- (* (+ (pow (/ 5.0 6.0) 3) (pow a 3)) (* t 3.0)) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* a a) (* (/ 5.0 6.0) a))) 2.0)) (- (* b b) (* c c)))))
741.0ms
(fma (- (- b c)) (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (* (- b c) (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0)))))
663.0ms
(- (* (* z (sqrt (+ a t))) (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0)))))) (* t (* (- (pow (+ (/ 5.0 6.0) a) 3) (pow (/ 2.0 (* t 3.0)) 3)) (- b c))))

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
100×frac-sub
70×frac-times
60×sqrt-div
50×associate-*l/
45×flip3-+ flip-+
41×flip3-- flip--
25×associate-*r/
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×pow1
6×log-prod add-cbrt-cube associate-*l* add-exp-log add-log-exp
4×expm1-log1p-u sub-neg associate-*r* log-pow insert-posit16 log1p-expm1-u associate--r+
3×exp-prod exp-sum sqrt-prod
2×distribute-rgt-in distribute-lft-in prod-diff div-inv
1×log-div clear-num associate-/r* frac-2neg exp-diff fma-neg diff-log rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
30.0ms
(- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- b c)))
21.0ms
(log (exp (- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- b c)))))
5.0ms
(* (sqrt (+ a t)) (/ z t))
1.0ms
(/ 2.0 (* t 3.0))

series362.0ms

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

simplify58.0s

Calls
189 calls:
Slowest
977.0ms
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) t) (* (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (+ (* b b) (+ (* c c) (* b c)))))
864.0ms
(- (* (* (sqrt (+ a t)) z) (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)) (- (pow b 3) (pow c 3)))))
859.0ms
(- (* (* (sqrt (+ a t)) z) (* (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) (- (pow b 3) (pow c 3)))))
846.0ms
(- (* (* (sqrt (+ a t)) z) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)) (- b c))))
819.0ms
(* (* (sqrt (- a t)) t) (* (+ (* (+ 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))))) (+ (* b b) (+ (* c c) (* b c)))))

prune5.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma (* z (sqrt (+ a t))) (/ 1 t) (- (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ a t)))
0.1b
(* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
9×associate-*r*
8×frac-times flip3-- add-cube-cbrt flip--
6×pow1 add-cbrt-cube add-exp-log frac-sub
5×associate-*l*
4×expm1-log1p-u flip3-+ associate-*l/ associate-*r/ flip-+ insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×distribute-rgt-in sub-neg distribute-lft-in sqrt-div *-commutative
1×clear-num associate-/r* frac-2neg pow-prod-down prod-exp cbrt-unprod fma-udef div-inv distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
58.0ms
(* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))
5.0ms
(* z (sqrt (+ a t)))
1.0ms
(/ 2.0 (* t 3.0))
1.0ms
(fma (* z (sqrt (+ a t))) (/ 1 t) (- (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))))

series358.0ms

Calls
4 calls:
Slowest
226.0ms
(fma (* z (sqrt (+ a t))) (/ 1 t) (- (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))))
68.0ms
(* z (sqrt (+ a t)))
48.0ms
(* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c))
16.0ms
(/ 2.0 (* t 3.0))

simplify7.9s

Calls
55 calls:
Slowest
420.0ms
(* (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))))) (+ (* b b) (+ (* c c) (* b c))))
407.0ms
(* (* (- (/ 5.0 6.0) a) (* t 3.0)) (+ b c))
393.0ms
(* (- c) (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))))
362.0ms
(* (+ (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (+ b c))
334.0ms
(* (- c) (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))))

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
460×frac-sub
417×frac-times
337×associate-*l/
217×cbrt-div
207×flip3-+ flip-+
204×sqrt-div
154×associate-*r/
101×flip3-- flip--
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×pow1
6×log-prod add-cbrt-cube associate-*l* add-exp-log add-log-exp
4×expm1-log1p-u sub-neg associate-*r* log-pow insert-posit16 log1p-expm1-u associate--r+
3×exp-prod exp-sum sqrt-prod
2×distribute-rgt-in distribute-lft-in prod-diff
1×cbrt-prod log-div exp-diff fma-neg pow1/3 diff-log rem-log-exp pow3 pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod div-inv
Calls
4 calls:
Slowest
35.0ms
(- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (- b c)))
11.0ms
(log (exp (- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (- b c)))))
10.0ms
(cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))
8.0ms
(* (sqrt (+ a t)) (/ z t))

series936.0ms

Calls
4 calls:
Slowest
408.0ms
(log (exp (- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (- b c)))))
395.0ms
(- (* (sqrt (+ a t)) (/ z t)) (* (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (- b c)))
83.0ms
(cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))
49.0ms
(* (sqrt (+ a t)) (/ z t))

simplify2.6m

Calls
557 calls:
Slowest
959.0ms
(- (* (* (sqrt (- (* a a) (* t t))) z) (* (- a (/ 5.0 6.0)) (cbrt (* t 3.0)))) (* (* (sqrt (- a t)) t) (* (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (cbrt (* t 3.0))) (* (- a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) 2.0)))) (- b c))))
952.0ms
(- (* (* (sqrt (+ a t)) z) (* (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* t 3.0))) (+ b c))) (* t (* (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (cbrt (* t 3.0))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* (* (/ 2.0 (* t 3.0)) 2.0) (/ 2.0 (* t 3.0)))))) (- (* b b) (* c c)))))
937.0ms
(- (* (* (sqrt (- (* a a) (* t t))) z) (* (* (- a (/ 5.0 6.0)) (cbrt (* t 3.0))) (+ b c))) (* (* (sqrt (- a t)) t) (* (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (cbrt (* t 3.0))) (* (- a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) 2.0) (/ 2.0 (* t 3.0)))))) (- (* b b) (* c c)))))
908.0ms
(- (* (* (sqrt (+ a t)) z) (* (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* (* t 3.0) (* t 3.0)))) (+ b c))) (* t (* (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (cbrt (* (* t 3.0) (* t 3.0)))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* (* 2.0 (/ 2.0 (* t 3.0))) 2.0)))) (- (* b b) (* c c)))))
885.0ms
(* (* (sqrt (- a t)) t) (* (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0)))) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))) (* (+ a (/ 5.0 6.0)) (cbrt (* (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (/ 2.0 (* t 3.0))))))) (+ (* b b) (+ (* c c) (* b c)))))

prune9.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes374.0ms

Accuracy

0% (1.4b remaining)

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

bsearch10.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.6s8000×body80valid
1.5s7849×body80nan