Details

Time bar (total: 21.9s)

analyze837.0ms (3.8%)

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
Compiler

Compiled 19 to 18 computations (5.3% saved)

sample117.0ms (0.5%)

Algorithm
intervals
Results
33.0ms494×body128nan
24.0ms256×body128valid
18.0ms234×body128invalid
Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify145.0ms (0.7%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0500124

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 2
Compiler

Compiled 50 to 47 computations (6% saved)

localize17.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite43.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64_12717
21×*-un-lft-identity_binary64_12695
16×add-cube-cbrt_binary64_12730
13×add-cbrt-cube_binary64_12731
12×log-prod_binary64_12781 add-exp-log_binary64_12733
10×associate-*l*_binary64_12636 pow1_binary64_12756 add-log-exp_binary64_12734
associate-*r*_binary64_12635
distribute-rgt-in_binary64_12645 distribute-lft-in_binary64_12644
exp-prod_binary64_12747 exp-sum_binary64_12741
rem-exp-log_binary64_12735 prod-exp_binary64_12744 cancel-sign-sub-inv_binary64_12661 difference-of-squares_binary64_12664 associate-/r*_binary64_12639 cbrt-unprod_binary64_12728 times-frac_binary64_12701
exp-diff_binary64_12743 div-exp_binary64_12746 log-pow_binary64_12784 diff-log_binary64_12787 cbrt-undiv_binary64_12729 distribute-lft-out--_binary64_12647 pow-prod-down_binary64_12766 *-commutative_binary64_12626 associate-*l/_binary64_12638 unswap-sqr_binary64_12663
associate--l+_binary64_12632 associate-/l*_binary64_12640 associate-/l/_binary64_12642 frac-2neg_binary64_12706 flip3--_binary64_12699 div-inv_binary64_12692 difference-of-sqr-1_binary64_12665 flip--_binary64_12670 sum-log_binary64_12786 sub-neg_binary64_12688 clear-num_binary64_12694 associate-*r/_binary64_12637
Counts
4 → 99
Calls

8 calls:

12.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
8.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
8.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms
(*.f64 y (log.f64 z))
0.0ms
(-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)

series1.7s (7.8%)

Counts
4 → 56
Calls

4 calls:

957.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
485.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
150.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
123.0ms
(*.f64 y (log.f64 z))
Compiler

Compiled 2318 to 1820 computations (21.5% saved)

simplify81.0ms (0.4%)

Algorithm
egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050502838

prune176.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1514155
Fresh101
Picked011
Done000
Total1525157
Error
0.0b
Counts
157 → 5
Compiler

Compiled 3425 to 1312 computations (61.7% saved)

localize14.0ms (0.1%)

Local error

Found 6 expressions with local error:

1.0b
(*.f64 x (/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y))
0.0b
(/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y)
0.0b
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0b
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0b
(/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y)
1.0b
(*.f64 x (/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y))

rewrite81.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
166×add-exp-log_binary64_12733
106×div-exp_binary64_12746
86×add-sqr-sqrt_binary64_12717
72×times-frac_binary64_12701
66×prod-exp_binary64_12744
58×add-cbrt-cube_binary64_12731
36×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730
32×associate-*r*_binary64_12635
28×associate-*l*_binary64_12636
26×unpow-prod-down_binary64_12774
24×pow-to-exp_binary64_12764 pow-exp_binary64_12763
22×cbrt-undiv_binary64_12729
18×cbrt-unprod_binary64_12728
17×unswap-sqr_binary64_12663
14×sqr-pow_binary64_12667
pow1_binary64_12756
div-inv_binary64_12692
associate-/l/_binary64_12642 associate-/r*_binary64_12639 add-log-exp_binary64_12734 associate-*r/_binary64_12637
frac-times_binary64_12705 pow-prod-down_binary64_12766 *-commutative_binary64_12626 associate-*l/_binary64_12638
associate-/l*_binary64_12640 frac-2neg_binary64_12706 clear-num_binary64_12694
Counts
3 → 185
Calls

6 calls:

24.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
18.0ms
(*.f64 x (/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y))
17.0ms
(/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y)
0.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0ms
(/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y)

series2.9s (13.1%)

Counts
3 → 63
Calls

3 calls:

1.2s
(*.f64 x (/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y))
891.0ms
(/.f64 (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))) y)
776.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
Compiler

Compiled 2619 to 2048 computations (21.8% saved)

simplify104.0ms (0.5%)

Algorithm
egg-herbie
Counts
248 → 248
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050336481

prune211.0ms (1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2471248
Fresh033
Picked011
Done011
Total2476253
Error
0b
Counts
253 → 6
Compiler

Compiled 5721 to 1079 computations (81.1% saved)

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

1.2b
(/.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
0.0b
(*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))))
0.0b
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0b
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0b
(*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))))
1.2b
(/.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)

rewrite79.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
166×add-exp-log_binary64_12733
90×div-exp_binary64_12746
82×prod-exp_binary64_12744 add-sqr-sqrt_binary64_12717
69×times-frac_binary64_12701
58×add-cbrt-cube_binary64_12731
34×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730
28×associate-*l*_binary64_12636
26×associate-*r*_binary64_12635 unpow-prod-down_binary64_12774
24×pow-to-exp_binary64_12764 pow-exp_binary64_12763
22×cbrt-unprod_binary64_12728
18×cbrt-undiv_binary64_12729
16×unswap-sqr_binary64_12663
14×sqr-pow_binary64_12667
10×pow1_binary64_12756
associate-*r/_binary64_12637
pow-prod-down_binary64_12766
frac-times_binary64_12705 associate-/l/_binary64_12642 div-inv_binary64_12692 associate-*l/_binary64_12638 associate-/r*_binary64_12639 add-log-exp_binary64_12734
*-commutative_binary64_12626
associate-/l*_binary64_12640 frac-2neg_binary64_12706 clear-num_binary64_12694
Counts
3 → 181
Calls

6 calls:

27.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
16.0ms
(/.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
15.0ms
(*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))))
0.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
0.0ms
(/.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)

series3.1s (14%)

Counts
3 → 66
Calls

3 calls:

1.2s
(/.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
1.1s
(*.f64 x (*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b))))
783.0ms
(*.f64 (/.f64 (pow.f64 z y) a) (/.f64 (pow.f64 a t) (exp.f64 b)))
Compiler

Compiled 2739 to 2152 computations (21.4% saved)

simplify82.0ms (0.4%)

Algorithm
egg-herbie
Counts
247 → 247
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050176508

prune187.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2461247
Fresh123
Picked101
Done022
Total2485253
Error
0b
Counts
253 → 5
Compiler

Compiled 5644 to 1059 computations (81.2% saved)

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

1.7b
(/.f64 (/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b))) y)
0.0b
(/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b)))
0.0b
(*.f64 a (exp.f64 b))
0.0b
(*.f64 a (exp.f64 b))
0.0b
(/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b)))
1.7b
(/.f64 (/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b))) y)

rewrite31.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
54×add-exp-log_binary64_12733
35×add-cbrt-cube_binary64_12731
25×div-exp_binary64_12746
21×prod-exp_binary64_12744
20×times-frac_binary64_12701
17×add-sqr-sqrt_binary64_12717
15×*-un-lft-identity_binary64_12695 add-cube-cbrt_binary64_12730
13×cbrt-undiv_binary64_12729
cbrt-unprod_binary64_12728
associate-/l*_binary64_12640 div-inv_binary64_12692
pow1_binary64_12756
pow-to-exp_binary64_12764 associate-/r*_binary64_12639 pow-exp_binary64_12763
associate-*l*_binary64_12636 associate-*r*_binary64_12635 add-log-exp_binary64_12734
frac-2neg_binary64_12706 clear-num_binary64_12694
associate-/l/_binary64_12642 pow-prod-down_binary64_12766 *-commutative_binary64_12626 unswap-sqr_binary64_12663
Counts
3 → 91
Calls

6 calls:

10.0ms
(/.f64 (/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b))) y)
8.0ms
(/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b)))
5.0ms
(*.f64 a (exp.f64 b))
0.0ms
(*.f64 a (exp.f64 b))
0.0ms
(/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b)))

series1.2s (5.3%)

Counts
3 → 44
Calls

3 calls:

661.0ms
(/.f64 (/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b))) y)
441.0ms
(/.f64 (*.f64 x (pow.f64 a t)) (*.f64 a (exp.f64 b)))
48.0ms
(*.f64 a (exp.f64 b))
Compiler

Compiled 1180 to 1056 computations (10.5% saved)

simplify126.0ms (0.6%)

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049412618
149412618

prune101.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1350135
Fresh022
Picked011
Done022
Total1355140
Error
0b
Counts
140 → 5
Compiler

Compiled 2256 to 354 computations (84.3% saved)

simplify89.0ms (0.4%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
024891030
124891030

regimes621.0ms (2.8%)

Compiler

Compiled 6164 to 5345 computations (13.3% saved)

bsearch0.0ms (0%)

regimes1.1s (5.1%)

Compiler

Compiled 3852 to 4034 computations (-4.7% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 8 computations (-166.7% saved)

regimes649.0ms (3%)

Compiler

Compiled 1530 to 1740 computations (-13.7% saved)

bsearch241.0ms (1.1%)

Steps
ItersRangePoint
9
2.612429075350833e-17
8.246545637712837e-10
6.322490782731635e-10
11
-0.004275079405232486
-3.447393549708853e-33
-1.2023810919181153e-05
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes275.0ms (1.3%)

Compiler

Compiled 534 to 720 computations (-34.8% saved)

bsearch435.0ms (2%)

Steps
ItersRangePoint
9
2.612429075350833e-17
8.246545637712837e-10
1.1080159718745315e-14
10
1.5372360889071507e-75
8.078758908053423e-64
1.2756663518317316e-70
6
1.773937083669496e-122
1.2458595355933873e-121
7.336038229035721e-122
10
-7.113779213049493e-50
-6.345811639572915e-60
-1.5287769211473313e-50
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes241.0ms (1.1%)

Compiler

Compiled 366 to 570 computations (-55.7% saved)

bsearch426.0ms (1.9%)

Steps
ItersRangePoint
9
2.612429075350833e-17
8.246545637712837e-10
6.775060926426175e-13
10
1.5372360889071507e-75
8.078758908053423e-64
4.2867832321504243e-72
6
1.773937083669496e-122
1.2458595355933873e-121
1.224522396493428e-121
10
-7.113779213049493e-50
-6.345811639572915e-60
-1.175991962308869e-53
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes238.0ms (1.1%)

Compiler

Compiled 288 to 498 computations (-72.9% saved)

bsearch757.0ms (3.5%)

Steps
ItersRangePoint
9
2.612429075350833e-17
8.246545637712837e-10
9.84156621656129e-16
10
1.5372360889071507e-75
8.078758908053423e-64
1.875061867711607e-74
8
6.143735844718315e-176
2.4696424858303966e-171
1.9924474478193607e-171
10
1.0319673279294878e-255
2.1702378165339548e-243
1.7008658712550107e-255
9
-3.71659842127173e-269
-9.192055119548752e-275
-5.186114575046571e-270
10
-7.113779213049493e-50
-6.345811639572915e-60
-2.97990036672408e-51
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes163.0ms (0.7%)

Compiler

Compiled 126 to 318 computations (-152.4% saved)

bsearch482.0ms (2.2%)

Steps
ItersRangePoint
9
2.60360637302124e-161
5.545876751524309e-154
4.4900408873054747e-156
10
1.7594968197452404e-255
5.203633926484484e-241
3.496264817706804e-253
6
-1.416438192768521e-259
-1.0453939880405441e-260
-1.1846935343094022e-259
8
-1.0167722719969396e-171
-1.734914992298373e-174
-3.230229487041782e-173
9
-2.2607014237556163e-08
-1.2677441279485001e-14
-4.126640680011579e-09
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes122.0ms (0.6%)

Compiler

Compiled 78 to 258 computations (-230.8% saved)

bsearch472.0ms (2.2%)

Steps
ItersRangePoint
8
6.143735844718315e-176
2.4696424858303966e-171
1.2446680750477978e-173
10
1.0319673279294878e-255
2.1702378165339548e-243
2.1222088019567648e-252
7
-4.085029994723628e-210
-3.092436399532675e-212
-7.837953882995127e-212
9
-6.633345682748859e-89
-1.9887629667369717e-95
-5.3251708816334154e-89
Compiler

Compiled 1 to 6 computations (-500% saved)

regimes56.0ms (0.3%)

Accuracy

Total 2.0b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch12.0ms (0.1%)

Compiler

Compiled 299 to 233 computations (22.1% saved)

simplify11.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0222425
1222425

end0.0ms (0%)

sample4.2s (19.3%)

Algorithm
intervals
Results
973.0ms14322×body128nan
642.0ms8000×body128valid
571.0ms7211×body128invalid
Compiler

Compiled 1053 to 879 computations (16.5% saved)

Pareto

0.5025125593823109

Profiling

Loading profile data...