Details

Time bar (total: 2.6m)

sample798.0ms

Algorithm
intervals
Results
633.0ms1507×body80nan
87.0ms495×body80valid

simplify233.0ms

Calls
1 calls:
Slowest
233.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize43.0ms

Local error

Found 4 expressions with local error:

1.4b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.3b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite5.5s

Algorithm
rewrite-expression-head
Rules
395×*-un-lft-identity
215×exp-sum
192×associate-*r*
177×add-sqr-sqrt
165×times-frac
161×add-cube-cbrt
135×prod-diff
132×associate-*l*
96×distribute-lft-out
72×log-prod
70×associate--l+
55×associate-/l*
40×distribute-lft-out--
36×distribute-rgt-in distribute-lft-in
30×associate-+l+ associate-+r+
15×add-exp-log
13×add-cbrt-cube
11×exp-prod
10×pow1 add-log-exp
6×*-commutative unswap-sqr
5×+-commutative sub-neg
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×associate-/r* div-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log pow-prod-down associate-*l/ log-pow difference-of-squares
1×clear-num sum-log frac-2neg flip3-- associate-*r/ div-inv flip-- associate-/l/
Calls
4 calls:
Slowest
4.6s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
902.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
33.0ms
(* (- t 1.0) (log a))
14.0ms
(* y (log z))

series568.0ms

Calls
4 calls:
Slowest
283.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
161.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
73.0ms
(* (- t 1.0) (log a))
52.0ms
(* y (log z))

simplify1.8m

Calls
497 calls:
Slowest
836.0ms
(/ (* x (exp (* (log (* (cbrt z) (cbrt z))) y))) (sqrt y))
711.0ms
(/ (* x (exp (fma (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (sqrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))) (* (cbrt y) (cbrt y)))
607.0ms
(/ (* x (exp (+ (* y (log z)) (* (log (sqrt a)) (- t 1.0))))) 1)
595.0ms
(exp (fma (* (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
588.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) 1)

prune6.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.6b

localize25.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ y (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite33.4s

Algorithm
rewrite-expression-head
Rules
202419×*-un-lft-identity
110572×cbrt-prod
104614×exp-sum
90146×times-frac
79650×prod-diff
78495×associate-*l*
60462×distribute-lft-out
60405×add-sqr-sqrt
55809×add-cube-cbrt
50949×associate-*r*
27387×swap-sqr
21308×associate--l+
20175×distribute-lft-out--
18264×log-prod
9132×distribute-rgt-in associate-+l+ associate-+r+ distribute-lft-in
2601×unswap-sqr
1828×sub-neg
1522×+-commutative
459×*-commutative
357×associate-/r/
309×exp-diff
306×cbrt-div
304×associate-/l*
303×div-inv
201×associate-/r*
61×add-cbrt-cube
33×exp-prod
30×cbrt-undiv
27×cbrt-unprod
25×add-exp-log
22×add-log-exp
9×div-exp rem-exp-log
6×diff-log prod-exp
4×expm1-log1p-u pow1 associate-*r/ insert-posit16 log1p-expm1-u
3×sum-log difference-of-squares associate-/l/
2×clear-num frac-2neg
1×frac-times associate-*l/
Calls
4 calls:
Slowest
18.9s
(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ y (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
990.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
952.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
893.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series796.0ms

Calls
4 calls:
Slowest
284.0ms
(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ y (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
191.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
167.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
153.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))