Details

Time bar (total: 2.5min)

analyze873.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
6.2%90.4%3.4%6
6.2%90.4%3.4%7
6.2%88.8%5%8
7.8%77.9%14.3%9
7.8%56.5%35.7%10
7.8%56.5%35.7%11
8.1%41.5%50.3%12
8.3%41.4%50.3%13
8.4%40.2%51.4%14

sample98.0ms

Algorithm
intervals
Results
26.0ms402×body80nan
23.0ms256×body80valid
16.0ms203×body80invalid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
0522116

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (-.f64 t 1) (log.f64 a))
0.3b
(*.f64 y (log.f64 z))
1.2b
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
1.7b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
20×*-un-lft-identity_binary64
15×add-cube-cbrt_binary64
13×add-cbrt-cube_binary64
12×log-prod_binary64 add-exp-log_binary64
10×add-log-exp_binary64 pow1_binary64 associate-*l*_binary64
8×associate-*r*_binary64
6×distribute-lft-in_binary64 distribute-rgt-in_binary64
5×exp-prod_binary64
3×associate-/r*_binary64 cbrt-unprod_binary64 rem-exp-log_binary64 prod-exp_binary64 difference-of-squares_binary64 times-frac_binary64
2×pow-prod-down_binary64 diff-log_binary64 cbrt-undiv_binary64 log-pow_binary64 exp-diff_binary64 unswap-sqr_binary64 exp-sum_binary64 distribute-lft-out--_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-/l/_binary64 sub-neg_binary64 flip3--_binary64 associate-*r/_binary64 difference-of-sqr-1_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 flip--_binary64 associate--l+_binary64 sum-log_binary64
Counts
4 → 96
Calls
4 calls:
8.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
7.0ms
(*.f64 y (log.f64 z))
8.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
12.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

series114.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
7.0ms
(*.f64 y (log.f64 z))
39.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
59.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

simplify45.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
053521150

prune91.0ms

Filtered
76 candidates to 108 candidates (-42.1%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1026108
Fresh101
Picked011
Done000
Total1037110

Merged error: 0.0b

Counts
110 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 a (-.f64 t 1))
0.3b
(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
0.5b
(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
1.0b
(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))))

rewrite561.0ms

Algorithm
rewrite-expression-head
Rules
9254×times-frac_binary64
3641×add-sqr-sqrt_binary64
3640×*-un-lft-identity_binary64
3637×add-cube-cbrt_binary64
1977×unpow-prod-down_binary64
666×associate-/r*_binary64
659×sqr-pow_binary64
281×sub-neg_binary64 unpow-prod-up_binary64
111×associate-/r/_binary64 div-inv_binary64
94×pow-sub_binary64
72×div-exp_binary64
70×add-exp-log_binary64
25×add-cbrt-cube_binary64
16×pow-to-exp_binary64 pow-exp_binary64
14×cbrt-undiv_binary64
13×associate-/l*_binary64
7×pow-unpow_binary64
5×pow1_binary64
4×add-log-exp_binary64
3×clear-num_binary64 frac-2neg_binary64
2×difference-of-squares_binary64
1×pow-pow_binary64 difference-of-sqr-1_binary64 distribute-lft-out--_binary64
Counts
4 → 2885
Calls
4 calls:
5.0ms
(pow.f64 a (-.f64 t 1))
22.0ms
(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
6.0ms
(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
128.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))))

series160.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(pow.f64 a (-.f64 t 1))
52.0ms
(/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
21.0ms
(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
76.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))))

simplify608.0ms

Algorithm
egg-herbie
Counts
2897 → 2897
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05460101460

prune9.3s

Filtered
2765 candidates to 2897 candidates (-4.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New289432897
Fresh415
Picked101
Done011
Total289952904

Merged error: 0b

Counts
2904 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))))
0.3b
(/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))
0.5b
(/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))
1.7b
(*.f64 (/.f64 1 (/.f64 1 (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 1 (pow.f64 a (/.f64 (-.f64 t 1) 2)))))) (/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))))))

rewrite1.0min

Algorithm
rewrite-expression-head
Rules
45657×times-frac_binary64
27078×add-sqr-sqrt_binary64
25746×div-exp_binary64
23120×add-exp-log_binary64
15023×*-un-lft-identity_binary64
11888×add-cube-cbrt_binary64
10753×unpow-prod-down_binary64
4561×pow-to-exp_binary64 pow-exp_binary64
4245×prod-exp_binary64
4020×1-exp_binary64 rec-exp_binary64
3836×sqr-pow_binary64
3429×sqrt-prod_binary64
2405×associate-*r*_binary64 associate-*l*_binary64
2261×unswap-sqr_binary64
833×associate-/r*_binary64
356×associate-/r/_binary64 div-inv_binary64
312×div-sub_binary64 pow-sub_binary64
175×add-cbrt-cube_binary64
114×cbrt-undiv_binary64
25×cbrt-unprod_binary64
16×associate-/l*_binary64
6×pow1_binary64
4×add-log-exp_binary64
3×clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 14952
Calls
4 calls:
169.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))))
17.0ms
(/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))
7.0ms
(/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))
57.8s
(*.f64 (/.f64 1 (/.f64 1 (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 1 (pow.f64 a (/.f64 (-.f64 t 1) 2)))))) (/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))))))

series409.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))))
91.0ms
(/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2))))
23.0ms
(/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))
198.0ms
(*.f64 (/.f64 1 (/.f64 1 (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 1 (pow.f64 a (/.f64 (-.f64 t 1) 2)))))) (/.f64 x (/.f64 y (/.f64 (pow.f64 (sqrt.f64 z) y) (/.f64 (exp.f64 b) (pow.f64 a (/.f64 (-.f64 t 1) 2)))))))

simplify5.0s

Algorithm
egg-herbie
Counts
14964 → 14964
Iterations

Useful iterations: 0 (465.0ms)

IterNodesCost
010365742985

prune1.2min

Filtered
8243 candidates to 14964 candidates (-81.5%)

Profiling

Loading profile data...