Details

Time bar (total: 16.8s)

sample437.0ms

Algorithm
intervals
Results
146.0ms87×body2560valid
130.0ms96×body1280valid
96.0ms60×body10240exit
21.0ms37×body640valid
10.0ms317×pre80true
5.0ms12×body320valid
2.0ms21×body80valid
1.0ms4×body160valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01724
14024
210124
324524
469224
5330124
done500124

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.7b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
3.3b
(- (exp (* a eps)) 1.0)
4.4b
(- (exp (* b eps)) 1.0)
6.5b
(- (exp (* (+ a b) eps)) 1.0)

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log add-cbrt-cube
10×add-sqr-sqrt flip3-- *-un-lft-identity flip-- add-log-exp
8×associate-/r/
4×pow1 cbrt-undiv frac-times add-cube-cbrt associate-*r/ div-exp prod-exp cbrt-unprod
3×sub-neg diff-log distribute-lft-out-- difference-of-squares
2×associate-*l/ associate-/l/
1×frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 73
Calls
4 calls:
57.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
13.0ms
(- (exp (* a eps)) 1.0)
15.0ms
(- (exp (* b eps)) 1.0)
34.0ms
(- (exp (* (+ a b) eps)) 1.0)

series517.0ms

Counts
4 → 12
Calls
4 calls:
315.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
56.0ms
(- (exp (* a eps)) 1.0)
59.0ms
(- (exp (* b eps)) 1.0)
87.0ms
(- (exp (* (+ a b) eps)) 1.0)

simplify1.4s

Counts
85 → 85
Iterations

Useful iterations: 2 (327.0ms)

IterNodesCost
01741783
14771741
219961427
done50011427

prune480.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 1 b) (/ 1 a))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
7×distribute-lft-out
6×times-frac
4×div-inv
3×add-sqr-sqrt add-cube-cbrt add-log-exp
1×pow1 add-exp-log +-commutative flip3-+ frac-add sum-log add-cbrt-cube flip-+
Counts
1 → 19
Calls
1 calls:
24.0ms
(+ (/ 1 b) (/ 1 a))

series21.0ms

Counts
1 → 3
Calls
1 calls:
21.0ms
(+ (/ 1 b) (/ 1 a))

simplify3.7s

Counts
22 → 22
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
040229
1102216
2233196
3459194
41153194
52581194
done5000194

prune65.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
0.5b
(cbrt (+ (/ 1 b) (/ 1 a)))
0.5b
(cbrt (+ (/ 1 b) (/ 1 a)))
0.5b
(cbrt (+ (/ 1 b) (/ 1 a)))

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
139×*-un-lft-identity
114×cbrt-prod
81×distribute-lft-out
60×div-inv
42×times-frac
37×add-sqr-sqrt
33×cbrt-div swap-sqr
29×add-cube-cbrt
13×associate-*r* associate-*l*
11×pow1 flip3-+ frac-add flip-+
9×frac-times pow1/3
6×add-exp-log
4×add-cbrt-cube add-log-exp unswap-sqr
3×associate-*r/ associate-*l/
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 159
Calls
4 calls:
249.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
35.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))
43.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))
26.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))

series510.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
150.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))
93.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))
108.0ms
(cbrt (+ (/ 1 b) (/ 1 a)))

simplify2.1s

Counts
171 → 171
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01783472
13903024
29452832
326212461
done50002431

prune570.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

11.8b
(/ (+ a b) (* a b))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
6×add-exp-log add-cbrt-cube
4×times-frac associate-/l*
3×add-sqr-sqrt add-cube-cbrt
2×cbrt-undiv div-exp associate-/l/ distribute-lft-out
1×pow1 frac-2neg flip3-+ prod-exp clear-num associate-/r* cbrt-unprod flip-+ div-inv add-log-exp
Counts
1 → 25
Calls
1 calls:
24.0ms
(/ (+ a b) (* a b))

series49.0ms

Counts
1 → 3
Calls
1 calls:
49.0ms
(/ (+ a b) (* a b))

simplify4.1s

Counts
28 → 28
Iterations

Useful iterations: 2 (111.0ms)

IterNodesCost
055288
1143283
2484241
31737241
done5001241

prune39.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes1.0ms