Details

Time bar (total: 5.4m)

sample169.0ms

Algorithm
intervals
Results
82.0ms275×body80nan
52.0ms256×body80valid

simplify500.0ms

Calls
1 calls:
Slowest
500.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: 3.4b

localize84.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ (* z (sqrt (+ a t))) t)
2.3b
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
0.5b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ a t)))

rewrite72.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
56.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)
4.0ms
(* z (sqrt (+ a t)))
1.0ms
(/ 2.0 (* t 3.0))

series890.0ms

Calls
4 calls:
Slowest
653.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
138.0ms
(/ (* z (sqrt (+ a t))) t)
76.0ms
(* z (sqrt (+ a t)))
22.0ms
(/ 2.0 (* t 3.0))

simplify15.7s

Calls
66 calls:
Slowest
809.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)))))
770.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)))))
762.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)))))
682.0ms
(- (* (* z (sqrt (+ a t))) (* (+ (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (+ b c))) (* t (* (- (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) (- (* b b) (* c c)))))
641.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.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

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

series503.0ms

Calls
4 calls:
Slowest
288.0ms
(- (/ z (/ t (sqrt (+ a t)))) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
108.0ms
(/ z (/ t (sqrt (+ a t))))
87.0ms
(/ t (sqrt (+ a t)))
19.0ms
(/ 2.0 (* t 3.0))

simplify17.0s

Calls
73 calls:
Slowest
820.0ms
(fma z (/ 1 (/ t (sqrt (+ a t)))) (- (* (- b c) (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))))))
772.0ms
(* (/ t (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))))) (+ (* b b) (+ (* c c) (* b c)))))
735.0ms
(- (* z (* (+ (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t (sqrt (+ a 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)))))
672.0ms
(- (* z (* (* (- (/ 5.0 6.0) a) (* t 3.0)) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t (sqrt (+ a 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)))))
660.0ms
(- (* z (* (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* a a) (* (/ 5.0 6.0) a))) (* t 3.0)) (+ b c))) (* (/ t (sqrt (+ a 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)))))

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

4.5b
(log (exp (/ 2.0 (* t 3.0))))
3.3b
(- (/ z (/ t (sqrt (+ a t)))) (* (- (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))) (- b c)))
1.1b
(/ z (/ t (sqrt (+ a t))))
0.5b
(/ 2.0 (* t 3.0))

rewrite41.0ms

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

series482.0ms

Calls
4 calls:
Slowest
304.0ms
(- (/ z (/ t (sqrt (+ a t)))) (* (- (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))) (- b c)))
118.0ms
(/ z (/ t (sqrt (+ a t))))
31.0ms
(/ 2.0 (* t 3.0))
29.0ms
(log (exp (/ 2.0 (* t 3.0))))

simplify13.0s

Calls
60 calls:
Slowest
1.0s
(* (/ t (sqrt (+ a t))) (* (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0))))) (* (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))))) (+ (* b b) (+ (* c c) (* b c)))))
804.0ms
(- (* z (* (+ (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t (sqrt (+ a t))) (* (- (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0)))))) (- (pow b 3) (pow c 3)))))
783.0ms
(- (* z (* (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0))))) (* (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))))) (+ b c))) (* (/ t (sqrt (+ a t))) (* (- (pow (+ (/ 5.0 6.0) a) 3) (pow (log (exp (/ 2.0 (* t 3.0)))) 3)) (- (* b b) (* c c)))))
617.0ms
(- (* z (* (+ (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0))))) (+ b c))) (* (/ t (sqrt (+ a t))) (* (- (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0)))))) (- (* b b) (* c c)))))
541.0ms
(- (* z (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (log (exp (/ 2.0 (* t 3.0)))) (log (exp (/ 2.0 (* t 3.0))))) (* (+ (/ 5.0 6.0) a) (log (exp (/ 2.0 (* t 3.0)))))))) (* (/ t (sqrt (+ a t))) (* (- (pow (+ (/ 5.0 6.0) a) 3) (pow (log (exp (/ 2.0 (* t 3.0)))) 3)) (- b c))))

prune2.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize106.0ms

Local error

Found 4 expressions with local error:

27.0b
(/ (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0))))
6.2b
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
2.1b
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
1.2b
(* (* (sqrt (+ a t)) z) (* t 3.0))

rewrite569.0ms

Algorithm
rewrite-expression-head
Rules
1180×associate-*l/
684×frac-times
622×flip3-- flip--
416×frac-sub
352×associate-*r/
314×sqrt-div
212×associate-/l/
157×flip3-+ flip-+
18×distribute-rgt-in distribute-lft-in
13×add-cbrt-cube add-exp-log
11×pow1 sub-neg
8×associate--r+
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×expm1-log1p-u pow-prod-down prod-exp associate--l+ cbrt-unprod insert-posit16 log1p-expm1-u sub-div
3×times-frac associate-/l*
2×associate-*r* associate-*l* associate-/r/ *-commutative
1×cbrt-undiv clear-num associate-/r* frac-2neg fma-neg diff-log div-sub div-exp prod-diff div-inv
Calls
4 calls:
Slowest
240.0ms
(/ (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0))))
160.0ms
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
104.0ms
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
22.0ms
(* (* (sqrt (+ a t)) z) (* t 3.0))

series2.2s

Calls
4 calls:
Slowest
935.0ms
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
877.0ms
(/ (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0))))
333.0ms
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
86.0ms
(* (* (sqrt (+ a t)) z) (* t 3.0))

simplify4.0m

Calls
738 calls:
Slowest
2.0s
(/ (* (* (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (* (* (* t (* (- (/ 5.0 6.0) a) (* t 3.0))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))))
1.6s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a)))) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))))
1.5s
(* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))))
1.3s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (/ 5.0 6.0) a)) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))))
1.2s
(* (* (sqrt (- a t)) (+ (/ 5.0 6.0) a)) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (/ 5.0 6.0) a) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))))

prune17.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes474.0ms

Accuracy

20.8% (2.2b remaining)

Error of 2.7b against oracle of 0.5b and baseline of 3.3b

bsearch356.0ms

end0.0ms

sample4.6s

Algorithm
intervals
Results
2.1s8000×body80valid
2.0s7906×body80nan