Details

Time bar (total: 2.2s)

sample160.0ms

Algorithm
intervals
Results
81.0ms276×body80nan
50.0ms256×body80valid

simplify551.0ms

Calls
1 calls:
Slowest
551.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.4b

localize88.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (* z (sqrt (+ t a))) t)
2.5b
(- (/ (* 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.3b
(* z (sqrt (+ t a)))

rewrite904.0ms

Algorithm
rewrite-expression-head
Rules
5600×frac-sub
2442×associate-/l*
2163×associate-/r*
2068×add-sqr-sqrt
1900×frac-times
1495×*-un-lft-identity
1468×flip3-+ flip-+
1309×associate-*r*
1246×add-cube-cbrt
1186×associate-*r/
1051×flip3-- flip--
827×associate-*l*
607×sqrt-prod
404×unswap-sqr
275×*-commutative
268×clear-num frac-2neg
236×sqrt-div
234×associate-/l/
121×distribute-lft-out
93×times-frac
50×associate-*l/
16×add-cbrt-cube add-exp-log
8×associate--r+ difference-of-squares
6×pow1 add-log-exp
4×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp associate--l+ insert-posit16 distribute-lft-out--
3×sub-neg prod-exp cbrt-unprod
2×+-commutative div-inv
1×diff-log pow-prod-down
Calls
4 calls:
Slowest
542.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
31.0ms
(/ (* z (sqrt (+ t a))) t)
17.0ms
(* z (sqrt (+ t a)))
8.0ms
(/ 2.0 (* t 3.0))

series502.0ms

Calls
4 calls:
Slowest
265.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
113.0ms
(/ (* z (sqrt (+ t a))) t)
105.0ms
(* z (sqrt (+ t a)))
19.0ms
(/ 2.0 (* t 3.0))