Details

Time bar (total: 4.6m)

sample214.0ms

Algorithm
intervals
Results
96.0ms256×body80valid
74.0ms283×body80nan

simplify483.0ms

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

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize68.0ms

Local error

Found 4 expressions with local error:

6.6b
(/ (* z (sqrt (+ a t))) t)
2.5b
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
0.2b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ a t)))

rewrite55.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
43.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))

series286.0ms

Calls
4 calls:
Slowest
175.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
63.0ms
(/ (* z (sqrt (+ a t))) t)
40.0ms
(* z (sqrt (+ a t)))
8.0ms
(/ 2.0 (* t 3.0))

simplify16.1s

Calls
66 calls:
Slowest
871.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)))))
789.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)))))
787.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)))))
659.0ms
(* 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)))))
646.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.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.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
29.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))

series239.0ms

Calls
4 calls:
Slowest
140.0ms
(- (/ z (/ t (sqrt (+ a t)))) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
48.0ms
(/ z (/ t (sqrt (+ a t))))
38.0ms
(/ t (sqrt (+ a t)))
13.0ms
(/ 2.0 (* t 3.0))

simplify17.1s

Calls
73 calls:
Slowest
874.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)))))
758.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)))))
709.0ms
(- (* z (* (+ (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (+ 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)))) (- (* b b) (* c c)))))
697.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)))))
655.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)))))

prune2.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

30.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))))
8.7b
(- (* (* (* (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
(* (* (sqrt (+ a t)) z) (* t 3.0))
1.3b
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))

rewrite527.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
226.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))))
140.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))))
90.0ms
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
16.0ms
(* (* (sqrt (+ a t)) z) (* t 3.0))

series1.1s

Calls
4 calls:
Slowest
527.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))))
367.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))))
184.0ms
(* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
39.0ms
(* (* (sqrt (+ a t)) z) (* t 3.0))

simplify3.5m

Calls
738 calls:
Slowest
2.1s
(/ (* (* (- (* (* (* (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.2s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (/ 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)) 2.0))))
1.2s
(* (* (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.1s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (/ 5.0 6.0) a)) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))
1.1s
(* (* (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)))))

prune18.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes401.0ms

Accuracy

50.2% (1.1b remaining)

Error of 1.8b against oracle of 0.7b and baseline of 2.9b

bsearch591.0ms

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.9s8000×body80valid
1.8s8332×body80nan