Details

Time bar (total: 37.9s)

sample186.0ms

Algorithm
intervals
Results
82.0ms256×body80valid
68.0ms258×body80nan

simplify514.0ms

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

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.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))

series483.0ms

Calls
4 calls:
Slowest
270.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
112.0ms
(/ (* z (sqrt (+ t a))) t)
73.0ms
(* z (sqrt (+ t a)))
28.0ms
(/ 2.0 (* t 3.0))

simplify12.1s

Calls
57 calls:
Slowest
934.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)))))
782.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)))))))
639.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)))))))
568.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
565.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)))))

prune2.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

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

series524.0ms

Calls
4 calls:
Slowest
225.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
113.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
112.0ms
(/ (* z (sqrt (+ t a))) t)
72.0ms
(* z (sqrt (+ t a)))

simplify19.5s

Calls
95 calls:
Slowest
1.1s
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) t))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) t) (* (- a (/ 5.0 6.0)) 0.6666666666666666)))))
806.0ms
(* (- (* b b) (* c c)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 0.6666666666666666 t) 3)))
728.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))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) t) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 0.6666666666666666)))))
655.0ms
(* (- (pow b 3) (pow c 3)) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 0.6666666666666666 t) 3)))
636.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t))))))

prune2.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b