Details

Time bar (total: 45.1s)

sample201.0ms

Algorithm
intervals
Results
90.0ms258×body80nan
72.0ms256×body80valid

simplify946.0ms

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

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize56.0ms

Local error

Found 4 expressions with local error:

6.5b
(/ (* 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.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ a t)))

rewrite66.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
50.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
7.0ms
(/ (* z (sqrt (+ a t))) t)
7.0ms
(* z (sqrt (+ a t)))
0.0ms
(/ 2.0 (* t 3.0))

series499.0ms

Calls
4 calls:
Slowest
244.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 2.0 (* t 3.0))) (- b c)))
122.0ms
(/ (* z (sqrt (+ a t))) t)
94.0ms
(* z (sqrt (+ a t)))
38.0ms
(/ 2.0 (* t 3.0))

simplify16.2s

Calls
66 calls:
Slowest
844.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)))))
771.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)))))
764.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)))))
701.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))))
671.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)))))

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

6.5b
(/ (* z (sqrt (+ a t))) t)
2.3b
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (- b c)))
0.2b
(* z (sqrt (+ a t)))
0.1b
(* (- (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (- b c))

rewrite141.0ms

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

series571.0ms

Calls
4 calls:
Slowest
281.0ms
(- (/ (* z (sqrt (+ a t))) t) (* (- (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (- b c)))
118.0ms
(/ (* z (sqrt (+ a t))) t)
99.0ms
(* (- (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (- b c))
72.0ms
(* z (sqrt (+ a t)))

simplify21.4s

Calls
101 calls:
Slowest
912.0ms
(- (* (* z (sqrt (+ a t))) (* (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* a a) (* (/ 5.0 6.0) a))) t) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (+ (pow (/ 5.0 6.0) 3) (pow a 3)) t) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (- (* a a) (* (/ 5.0 6.0) a))) 0.6666666666666666)) (- (pow b 3) (pow c 3)))))
735.0ms
(/ (exp (/ (* z (sqrt (+ a t))) t)) (exp (* (- (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (- b c))))
665.0ms
(- (* (* z (sqrt (+ a t))) (* (* (- (/ 5.0 6.0) a) t) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a a)) t) (* (- (/ 5.0 6.0) a) 0.6666666666666666)) (- (pow b 3) (pow c 3)))))
652.0ms
(- (* (* z (sqrt (+ a t))) (* (+ (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (+ (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t)) (* (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)))) (+ b c))) (* t (* (- (pow (+ (/ 5.0 6.0) a) 3) (pow (/ 0.6666666666666666 t) 3)) (- (* b b) (* c c)))))
633.0ms
(- (* (* z (sqrt (+ a t))) (* (+ (+ (/ 5.0 6.0) a) (/ 0.6666666666666666 t)) (+ (* b b) (+ (* c c) (* b c))))) (* t (* (- (* (+ (/ 5.0 6.0) a) (+ (/ 5.0 6.0) a)) (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t))) (- (pow b 3) (pow c 3)))))

prune2.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b