Details

Time bar (total: 14.4s)

analyze361.0ms (2.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%68.6%31.4%5
0%65.5%34.5%6
0%59.2%40.8%7
0%51.4%48.6%8
0%41.3%58.7%9
0%28.4%71.6%10
2.3%22.3%75.4%11
2.3%21%76.7%12
2.7%18%79.3%13
2.7%16.4%80.8%14
Compiler

Compiled 17 to 16 computations (5.9% saved)

sample50.0ms (0.3%)

Algorithm
intervals
Results
20.0ms256×body128valid
9.0ms135×body128nan
0.0msbody128invalid
Compiler

Compiled 33 to 36 computations (-9.1% saved)

simplify232.0ms (1.6%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (144.0ms)

IterNodesCost
0530925

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 32 to 30 computations (6.3% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.2b
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.1b
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.2b
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite51.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity_binary64_11672
20×add-sqr-sqrt_binary64_11694
19×log-prod_binary64_11758
15×pow1_binary64_11733
14×add-log-exp_binary64_11711 add-cube-cbrt_binary64_11707
log-pow_binary64_11761 associate-+l+_binary64_11605 associate-+r+_binary64_11604 distribute-lft-out_binary64_11623
distribute-lft-out--_binary64_11624 cancel-sign-sub-inv_binary64_11638 sum-log_binary64_11763 associate-*l/_binary64_11615 distribute-lft-in_binary64_11621 flip3--_binary64_11676 add-exp-log_binary64_11710 flip--_binary64_11647 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708
associate-+l-_binary64_11607 associate-*l*_binary64_11613
associate-*r*_binary64_11612 flip-+_binary64_11646 flip3-+_binary64_11675 log-div_binary64_11759 frac-add_binary64_11680 diff-log_binary64_11764
associate--l+_binary64_11609 +-commutative_binary64_11602 associate--l-_binary64_11610 difference-of-squares_binary64_11641 sub-neg_binary64_11665
cbrt-unprod_binary64_11705 unswap-sqr_binary64_11640 prod-exp_binary64_11721 *-commutative_binary64_11603 pow-prod-down_binary64_11743
Counts
4 → 106
Calls

8 calls:

14.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
11.0ms
(*.f64 (-.f64 a 1/2) (log.f64 t))
8.0ms
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
8.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)

series1.4s (9.6%)

Counts
4 → 66
Calls

4 calls:

767.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
285.0ms
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
161.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
160.0ms
(*.f64 (-.f64 a 1/2) (log.f64 t))
Compiler

Compiled 2121 to 1920 computations (9.5% saved)

simplify80.0ms (0.6%)

Algorithm
egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050193257

prune279.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New16210172
Fresh000
Picked101
Done000
Total16310173
Error
0.0b
Counts
173 → 10
Compiler

Compiled 3784 to 1381 computations (63.5% saved)

localize18.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 x y))
0.0b
(-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t)
0.0b
(log.f64 (sqrt.f64 (+.f64 x y)))
0.0b
(log.f64 (sqrt.f64 (+.f64 x y)))
0.1b
(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.2b
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.4b
(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
0.5b
(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))

rewrite69.0ms (0.5%)

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity_binary64_11672
29×log-prod_binary64_11758
24×pow1_binary64_11733 distribute-lft-out_binary64_11623
20×add-sqr-sqrt_binary64_11694
18×log-pow_binary64_11761
16×add-cube-cbrt_binary64_11707
15×add-log-exp_binary64_11711 associate-+l+_binary64_11605
14×associate-+r+_binary64_11604
11×sum-log_binary64_11763
sqrt-prod_binary64_11688
sqrt-div_binary64_11689 associate-*l/_binary64_11615 associate-+r-_binary64_11606 flip-+_binary64_11646 flip3-+_binary64_11675 distribute-lft-in_binary64_11621 add-exp-log_binary64_11710 log-div_binary64_11759 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708
flip3--_binary64_11676 flip--_binary64_11647 associate-*l*_binary64_11613
associate-*r*_binary64_11612 frac-add_binary64_11680
cancel-sign-sub-inv_binary64_11638 +-commutative_binary64_11602 associate-+l-_binary64_11607 diff-log_binary64_11764
cbrt-unprod_binary64_11705 distribute-lft-out--_binary64_11624 associate--l+_binary64_11609 unswap-sqr_binary64_11640 prod-exp_binary64_11721 difference-of-squares_binary64_11641 *-commutative_binary64_11603 pow-prod-down_binary64_11743 sub-neg_binary64_11665
Counts
4 → 120
Calls

8 calls:

21.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
14.0ms
(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
8.0ms
(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))
7.0ms
(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0ms
(log.f64 (sqrt.f64 (+.f64 x y)))

series1.4s (9.4%)

Counts
4 → 53
Calls

4 calls:

838.0ms
(+.f64 (-.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
190.0ms
(+.f64 (log.f64 (sqrt.f64 (+.f64 x y))) (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y)))))
167.0ms
(*.f64 (-.f64 a 1/2) (log.f64 t))
159.0ms
(+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x y))))
Compiler

Compiled 2172 to 1876 computations (13.6% saved)

simplify87.0ms (0.6%)

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
050743682

prune198.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1730173
Fresh099
Picked011
Done000
Total17310183
Error
0.0b
Counts
183 → 10
Compiler

Compiled 4760 to 1761 computations (63% saved)

localize22.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b
(+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0b
(log.f64 (cbrt.f64 t))
0.0b
(log.f64 (cbrt.f64 t))
0.2b
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite50.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
20×frac-add_binary64_11680
16×add-log-exp_binary64_11711 *-un-lft-identity_binary64_11672
14×flip3--_binary64_11676 flip--_binary64_11647
12×associate-*r/_binary64_11614
11×associate-+r+_binary64_11604
10×add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694
sum-log_binary64_11763
pow1_binary64_11733 associate-*l/_binary64_11615
log-prod_binary64_11758
cancel-sign-sub-inv_binary64_11638 cbrt-prod_binary64_11703
associate-+l+_binary64_11605 flip-+_binary64_11646 flip3-+_binary64_11675 distribute-lft-out_binary64_11623
log-pow_binary64_11761 distribute-lft-in_binary64_11621 add-exp-log_binary64_11710 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708
associate-+l-_binary64_11607
+-commutative_binary64_11602 log-div_binary64_11759 pow1/3_binary64_11754 sub-neg_binary64_11665 diff-log_binary64_11764
associate-+r-_binary64_11606
Counts
4 → 82
Calls

8 calls:

22.0ms
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
7.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
2.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
0.0ms
(log.f64 (cbrt.f64 t))

series1.5s (10.8%)

Counts
4 → 43
Calls

4 calls:

1.2s
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
161.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
82.0ms
(cbrt.f64 t)
79.0ms
(cbrt.f64 t)
Compiler

Compiled 2042 to 1819 computations (10.9% saved)

simplify102.0ms (0.7%)

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049334720
149334720

prune217.0ms (1.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1232125
Fresh178
Picked101
Done011
Total12510135
Error
0b
Counts
135 → 10
Compiler

Compiled 5014 to 2085 computations (58.4% saved)

localize26.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b
(+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
0.0b
(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0b
(log.f64 (pow.f64 t 1/3))
0.0b
(log.f64 (cbrt.f64 t))
0.2b
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2)))
0.6b
(cbrt.f64 t)
0.6b
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
5.1b
(pow.f64 t 1/3)

rewrite50.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
20×frac-add_binary64_11680
17×*-un-lft-identity_binary64_11672
16×add-log-exp_binary64_11711
14×flip3--_binary64_11676 flip--_binary64_11647
12×associate-*r/_binary64_11614
11×add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694 associate-+r+_binary64_11604
pow1_binary64_11733 sum-log_binary64_11763
associate-*l/_binary64_11615
log-prod_binary64_11758
cancel-sign-sub-inv_binary64_11638
associate-+l+_binary64_11605 flip-+_binary64_11646 flip3-+_binary64_11675 add-exp-log_binary64_11710 distribute-lft-out_binary64_11623
log-pow_binary64_11761 distribute-lft-in_binary64_11621 distribute-rgt-in_binary64_11622 add-cbrt-cube_binary64_11708
unpow-prod-down_binary64_11751 associate-+l-_binary64_11607 cbrt-prod_binary64_11703 pow-unpow_binary64_11749
+-commutative_binary64_11602 log-div_binary64_11759 sub-neg_binary64_11665 diff-log_binary64_11764
pow-exp_binary64_11740 pow-to-exp_binary64_11741 associate-+r-_binary64_11606 sqr-pow_binary64_11644 pow-pow_binary64_11744 pow1/3_binary64_11754 unpow1/3_binary64_11739
Counts
4 → 89
Calls

8 calls:

22.0ms
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2)))
7.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
3.0ms
(pow.f64 t 1/3)
1.0ms
(cbrt.f64 t)
0.0ms
(log.f64 (cbrt.f64 t))

series1.6s (11.3%)

Counts
4 → 43
Calls

4 calls:

1.3s
(+.f64 (+.f64 (*.f64 (-.f64 a 1/2) (*.f64 2 (log.f64 (cbrt.f64 t)))) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (*.f64 (log.f64 (pow.f64 t 1/3)) (-.f64 a 1/2)))
173.0ms
(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
79.0ms
(cbrt.f64 t)
75.0ms
(pow.f64 t 1/3)
Compiler

Compiled 2100 to 1918 computations (8.7% saved)

simplify100.0ms (0.7%)

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049564747
149564747

prune199.0ms (1.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1320132
Fresh088
Picked011
Done011
Total13210142
Error
0b
Counts
142 → 10
Compiler

Compiled 5054 to 2134 computations (57.8% saved)

simplify119.0ms (0.8%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
027911848
127911848

regimes963.0ms (6.7%)

Compiler

Compiled 11483 to 9293 computations (19.1% saved)

bsearch0.0ms (0%)

regimes258.0ms (1.8%)

Compiler

Compiled 1654 to 1884 computations (-13.9% saved)

bsearch0.0ms (0%)

regimes462.0ms (3.2%)

Compiler

Compiled 1452 to 1808 computations (-24.5% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes312.0ms (2.2%)

Compiler

Compiled 593 to 900 computations (-51.8% saved)

bsearch39.0ms (0.3%)

Steps
ItersRangePoint
8
8.042991094756742e-106
2.160675656841878e-103
1.0535220162098499e-105
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes295.0ms (2.1%)

Compiler

Compiled 467 to 774 computations (-65.7% saved)

bsearch74.0ms (0.5%)

Steps
ItersRangePoint
9
5.484579882243637e+166
4.945492941683914e+171
8.75993593636454e+166
8
2.56858674738924e-92
1.8537898810215282e-88
4.319119741426114e-90
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes183.0ms (1.3%)

Compiler

Compiled 246 to 461 computations (-87.4% saved)

bsearch217.0ms (1.5%)

Steps
ItersRangePoint
6
220542932.2669815
2539635545.460418
506673596.9651076
9
1.414093967515525e-43
4.300958931574863e-37
5.709540516196257e-42
10
3.975592574598532e-151
3.276885081160779e-136
3.8285228051860155e-137
7
-9.831024109928509e-17
-1.952334130954218e-18
-9.708605631387478e-17
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes73.0ms (0.5%)

Compiler

Compiled 118 to 310 computations (-162.7% saved)

bsearch0.0ms (0%)

regimes192.0ms (1.3%)

Compiler

Compiled 55 to 205 computations (-272.7% saved)

bsearch95.0ms (0.7%)

Steps
ItersRangePoint
9
2539635545.460418
3.809831766995785e+18
66650640802147256.0
5
-4.962635882960824e+25
-2.0434874599910597e+25
-2.7477081485001602e+25
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes56.0ms (0.4%)

Compiler

Compiled 35 to 170 computations (-385.7% saved)

bsearch25.0ms (0.2%)

Steps
ItersRangePoint
6
3291.3834219563146
22809.2947439165
3335.9441908706367
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes46.0ms (0.3%)

Accuracy

Total 0.2b remaining (96.1%)

Threshold costs 0.2b (96.1%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch12.0ms (0.1%)

Compiler

Compiled 258 to 201 computations (22.1% saved)

simplify11.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0273337
1273337

end0.0ms (0%)

sample2.8s (19.7%)

Algorithm
intervals
Results
628.0ms8000×body128valid
290.0ms4243×body128nan
2.0ms27×body128invalid
Compiler

Compiled 1421 to 1158 computations (18.5% saved)

Pareto

0.5817634270325764

Profiling

Loading profile data...