Details

Time bar (total: 18.7s)

analyze421.0ms (2.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%7
25%62.4%12.6%8
37.4%43.7%18.9%9
37.4%43.7%18.9%10
49.9%31.2%18.9%11
56.2%20.3%23.5%12
56.2%20.3%23.5%13
61.6%14.8%23.5%14
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample24.0ms (0.1%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
1.0ms21×body128invalid
Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify104.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
014212
114212

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
16.4b
Counts
2 → 1
Compiler

Compiled 8 to 7 computations (12.5% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

10.3b
(*.f64 (*.f64 a a) b)
5.3b
(*.f64 (*.f64 (*.f64 a a) b) b)
5.3b
(*.f64 (*.f64 (*.f64 a a) b) b)
10.3b
(*.f64 (*.f64 a a) b)

rewrite20.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
6×associate-*r*_binary64
5×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64
2×add-log-exp_binary64 associate-*l*_binary64 *-commutative_binary64
1×unswap-sqr_binary64
Counts
2 → 40
Calls

4 calls:

8.0ms
(*.f64 (*.f64 a a) b)
8.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
0.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
0.0ms
(*.f64 (*.f64 a a) b)

series140.0ms (0.7%)

Counts
2 → 12
Calls

2 calls:

72.0ms
(*.f64 (*.f64 a a) b)
67.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
Compiler

Compiled 192 to 204 computations (-6.3% saved)

simplify51.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05066461

prune90.0ms (0.5%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New331952
Fresh000
Picked000
Done011
Total332053
Error
0.1b
Counts
53 → 20
Compiler

Compiled 514 to 270 computations (47.5% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))
0.3b
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×pow1_binary64
7×add-sqr-sqrt_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64
3×swap-sqr_binary64 associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 sqr-abs_binary64 pow-sqr_binary64 pow2_binary64 *-commutative_binary64
Counts
1 → 26
Calls

2 calls:

4.0ms
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))
0.0ms
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))

series53.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

53.0ms
(*.f64 (fabs.f64 (*.f64 a b)) (fabs.f64 (*.f64 a b)))
Compiler

Compiled 84 to 96 computations (-14.3% saved)

simplify81.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05054230

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

21.6b
(*.f64 (*.f64 a a) (*.f64 b b))
21.6b
(*.f64 (*.f64 a a) (*.f64 b b))

rewrite12.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
29×pow1_binary64
14×pow-prod-down_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
8×cbrt-unprod_binary64 prod-exp_binary64
4×pow-prod-up_binary64 pow-plus_binary64
2×pow-sqr_binary64 pow2_binary64
1×*-un-lft-identity_binary64 add-log-exp_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 associate-*l*_binary64 unswap-sqr_binary64 add-sqr-sqrt_binary64 *-commutative_binary64
Counts
1 → 29
Calls

2 calls:

9.0ms
(*.f64 (*.f64 a a) (*.f64 b b))
0.0ms
(*.f64 (*.f64 a a) (*.f64 b b))

series70.0ms (0.4%)

Counts
1 → 6
Calls

1 calls:

70.0ms
(*.f64 (*.f64 a a) (*.f64 b b))
Compiler

Compiled 96 to 108 computations (-12.5% saved)

simplify58.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05138246

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

10.3b
(*.f64 (*.f64 a a) b)
5.3b
(*.f64 (*.f64 (*.f64 a a) b) b)
5.3b
(*.f64 (*.f64 (*.f64 a a) b) b)
10.3b
(*.f64 (*.f64 a a) b)

rewrite19.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
6×associate-*r*_binary64
5×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64
2×add-log-exp_binary64 associate-*l*_binary64 *-commutative_binary64
1×unswap-sqr_binary64
Counts
2 → 40
Calls

4 calls:

10.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
6.0ms
(*.f64 (*.f64 a a) b)
0.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
0.0ms
(*.f64 (*.f64 a a) b)

series121.0ms (0.6%)

Counts
2 → 12
Calls

2 calls:

69.0ms
(*.f64 (*.f64 (*.f64 a a) b) b)
52.0ms
(*.f64 (*.f64 a a) b)
Compiler

Compiled 240 to 252 computations (-5% saved)

simplify52.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05066461

localize9.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.0b
(*.f64 a (pow.f64 b 3/2))
1.0b
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
0.7b
(*.f64 (*.f64 a (*.f64 a (pow.f64 b 3/2))) (sqrt.f64 b))
0.7b
(*.f64 (*.f64 a (*.f64 a (pow.f64 b 3/2))) (sqrt.f64 b))
1.0b
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
4.0b
(*.f64 a (pow.f64 b 3/2))

rewrite27.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
34×add-exp-log_binary64
22×prod-exp_binary64
19×add-cbrt-cube_binary64
14×associate-*r*_binary64 add-sqr-sqrt_binary64
10×pow1_binary64 cbrt-unprod_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×associate-*l*_binary64
4×pow-prod-down_binary64 unpow-prod-down_binary64
3×pow-to-exp_binary64 add-log-exp_binary64 unswap-sqr_binary64 sqrt-prod_binary64 pow-exp_binary64 *-commutative_binary64
2×sqr-pow_binary64
Counts
3 → 69
Calls

6 calls:

10.0ms
(*.f64 (*.f64 a (*.f64 a (pow.f64 b 3/2))) (sqrt.f64 b))
6.0ms
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
6.0ms
(*.f64 a (pow.f64 b 3/2))
0.0ms
(*.f64 (*.f64 a (*.f64 a (pow.f64 b 3/2))) (sqrt.f64 b))
0.0ms
(*.f64 a (*.f64 a (pow.f64 b 3/2)))

series233.0ms (1.2%)

Counts
3 → 18
Calls

3 calls:

86.0ms
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
76.0ms
(*.f64 (*.f64 a (*.f64 a (pow.f64 b 3/2))) (sqrt.f64 b))
71.0ms
(*.f64 a (pow.f64 b 3/2))
Compiler

Compiled 450 to 434 computations (3.6% saved)

simplify112.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
04915952
14915952

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

12.3b
(cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))
1.4b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)) b)
0.1b
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
0.1b
(*.f64 a (sqrt.f64 b))
0.1b
(*.f64 a (sqrt.f64 b))
0.1b
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
1.4b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)) b)
12.3b
(cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))

rewrite24.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64 cbrt-prod_binary64
11×pow1_binary64 add-exp-log_binary64 associate-*l*_binary64
9×associate-*r*_binary64
7×add-cbrt-cube_binary64
5×unswap-sqr_binary64
4×add-log-exp_binary64 sqr-pow_binary64 sqrt-prod_binary64
3×pow-prod-down_binary64 pow-unpow_binary64 unpow-prod-down_binary64 prod-exp_binary64
2×cbrt-unprod_binary64 pow-pow_binary64 pow-exp_binary64 *-commutative_binary64
1×pow-to-exp_binary64 pow1/3_binary64
Counts
4 → 77
Calls

8 calls:

6.0ms
(*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)) b)
6.0ms
(*.f64 a (sqrt.f64 b))
5.0ms
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
2.0ms
(cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))
0.0ms
(*.f64 a (sqrt.f64 b))

series271.0ms (1.5%)

Counts
4 → 24
Calls

4 calls:

103.0ms
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
68.0ms
(*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)) b)
53.0ms
(cbrt.f64 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))
46.0ms
(*.f64 a (sqrt.f64 b))
Compiler

Compiled 544 to 543 computations (0.2% saved)

simplify72.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049571012
149571012

prune1.1s (6.2%)

Pruning

120 alts after pruning (115 fresh and 5 done)

PrunedKeptTotal
New205102307
Fresh11314
Picked000
Done156
Total207120327
Error
0.0b
Counts
327 → 120
Compiler

Compiled 3734 to 2284 computations (38.8% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b
(pow.f64 (*.f64 a b) 2)
0.3b
(pow.f64 (*.f64 a b) 2)

rewrite5.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
4×pow1_binary64 add-exp-log_binary64
3×pow-unpow_binary64
2×*-un-lft-identity_binary64 pow-pow_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 pow-exp_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 add-log-exp_binary64 unpow2_binary64 sqr-pow_binary64 add-cbrt-cube_binary64 unpow-prod-down_binary64 prod-exp_binary64
Counts
1 → 18
Calls

2 calls:

4.0ms
(pow.f64 (*.f64 a b) 2)
0.0ms
(pow.f64 (*.f64 a b) 2)

series58.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

58.0ms
(pow.f64 (*.f64 a b) 2)
Compiler

Compiled 120 to 132 computations (-10% saved)

simplify57.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04848180
14848180

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

9.8b
(*.f64 a (*.f64 b b))
5.2b
(*.f64 a (*.f64 a (*.f64 b b)))
5.2b
(*.f64 a (*.f64 a (*.f64 b b)))
9.8b
(*.f64 a (*.f64 b b))

rewrite16.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
6×associate-*l*_binary64
5×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 add-cube-cbrt_binary64
2×add-log-exp_binary64 associate-*r*_binary64 *-commutative_binary64
1×unswap-sqr_binary64
Counts
2 → 40
Calls

4 calls:

7.0ms
(*.f64 a (*.f64 a (*.f64 b b)))
6.0ms
(*.f64 a (*.f64 b b))
0.0ms
(*.f64 a (*.f64 a (*.f64 b b)))
0.0ms
(*.f64 a (*.f64 b b))

series127.0ms (0.7%)

Counts
2 → 12
Calls

2 calls:

71.0ms
(*.f64 a (*.f64 a (*.f64 b b)))
56.0ms
(*.f64 a (*.f64 b b))
Compiler

Compiled 192 to 204 computations (-6.3% saved)

simplify56.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05508457

localize12.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.0b
(*.f64 a (pow.f64 b 3/2))
1.0b
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
0.7b
(*.f64 (*.f64 1 (*.f64 a (*.f64 a (pow.f64 b 3/2)))) (sqrt.f64 b))
0.7b
(*.f64 (*.f64 1 (*.f64 a (*.f64 a (pow.f64 b 3/2)))) (sqrt.f64 b))
1.0b
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
4.0b
(*.f64 a (pow.f64 b 3/2))

rewrite31.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
57×add-exp-log_binary64
45×prod-exp_binary64
24×add-cbrt-cube_binary64
14×pow1_binary64 cbrt-unprod_binary64 associate-*r*_binary64 add-sqr-sqrt_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×pow-prod-down_binary64 associate-*l*_binary64
5×1-exp_binary64
4×pow-to-exp_binary64 unpow-prod-down_binary64 pow-exp_binary64
3×add-log-exp_binary64 unswap-sqr_binary64 sqrt-prod_binary64 *-commutative_binary64
2×sqr-pow_binary64
Counts
3 → 77
Calls

6 calls:

12.0ms
(*.f64 (*.f64 1 (*.f64 a (*.f64 a (pow.f64 b 3/2)))) (sqrt.f64 b))
6.0ms
(*.f64 a (pow.f64 b 3/2))
6.0ms
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
0.0ms
(*.f64 (*.f64 1 (*.f64 a (*.f64 a (pow.f64 b 3/2)))) (sqrt.f64 b))
0.0ms
(*.f64 a (pow.f64 b 3/2))

series240.0ms (1.3%)

Counts
3 → 18
Calls

3 calls:

85.0ms
(*.f64 a (*.f64 a (pow.f64 b 3/2)))
78.0ms
(*.f64 a (pow.f64 b 3/2))
77.0ms
(*.f64 (*.f64 1 (*.f64 a (*.f64 a (pow.f64 b 3/2)))) (sqrt.f64 b))
Compiler

Compiled 498 to 482 computations (3.2% saved)

simplify77.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049791050
149791050

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

10.3b
(*.f64 (*.f64 a a) b)
1.0b
(pow.f64 (exp.f64 (*.f64 (*.f64 a a) b)) b)
1.0b
(pow.f64 (exp.f64 (*.f64 (*.f64 a a) b)) b)
10.3b
(*.f64 (*.f64 a a) b)

rewrite13.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
8×pow1_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64
6×add-sqr-sqrt_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64
3×pow-prod-down_binary64 pow-unpow_binary64 add-log-exp_binary64 cbrt-unprod_binary64 associate-*r*_binary64 pow-pow_binary64 unpow-prod-down_binary64 prod-exp_binary64
1×pow-to-exp_binary64 sqr-pow_binary64 associate-*l*_binary64 unswap-sqr_binary64 exp-to-pow_binary64 pow-exp_binary64 exp-prod_binary64 *-commutative_binary64
Counts
2 → 38
Calls

4 calls:

6.0ms
(*.f64 (*.f64 a a) b)
4.0ms
(pow.f64 (exp.f64 (*.f64 (*.f64 a a) b)) b)
0.0ms
(pow.f64 (exp.f64 (*.f64 (*.f64 a a) b)) b)
0.0ms
(*.f64 (*.f64 a a) b)

series207.0ms (1.1%)

Counts
2 → 16
Calls

2 calls:

151.0ms
(pow.f64 (exp.f64 (*.f64 (*.f64 a a) b)) b)
56.0ms
(*.f64 (*.f64 a a) b)
Compiler

Compiled 404 to 404 computations (0% saved)

simplify76.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
05107625

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (sqrt.f64 b) 3/2)
0.2b
(pow.f64 (sqrt.f64 b) 3/2)
0.1b
(*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2))
0.1b
(*.f64 a (pow.f64 (sqrt.f64 b) 3/2))
0.2b
(pow.f64 (sqrt.f64 b) 3/2)
0.2b
(pow.f64 (sqrt.f64 b) 3/2)
0.7b
(*.f64 (*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
1.0b
(*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2)))

rewrite43.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
101×add-exp-log_binary64
82×prod-exp_binary64
27×add-cbrt-cube_binary64
16×pow-to-exp_binary64 cbrt-unprod_binary64 pow-exp_binary64
15×pow1_binary64
13×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
12×unpow-prod-down_binary64
9×sqrt-prod_binary64
7×associate-*r*_binary64
6×pow-unpow_binary64 pow-pow_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-*l*_binary64
2×pow1/2_binary64 sqrt-pow2_binary64 sqr-pow_binary64 sqrt-pow1_binary64 *-commutative_binary64
Counts
4 → 110
Calls

8 calls:

14.0ms
(*.f64 (*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
11.0ms
(*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2)))
3.0ms
(pow.f64 (sqrt.f64 b) 3/2)
3.0ms
(pow.f64 (sqrt.f64 b) 3/2)
0.0ms
(*.f64 a (pow.f64 (sqrt.f64 b) 3/2))

series208.0ms (1.1%)

Counts
4 → 18
Calls

4 calls:

86.0ms
(*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2)))
70.0ms
(*.f64 (*.f64 a (*.f64 (*.f64 a (pow.f64 (sqrt.f64 b) 3/2)) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
27.0ms
(pow.f64 (sqrt.f64 b) 3/2)
25.0ms
(pow.f64 (sqrt.f64 b) 3/2)
Compiler

Compiled 580 to 535 computations (7.8% saved)

simplify165.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (145.0ms)

IterNodesCost
050291179

prune2.4s (12.6%)

Pruning

194 alts after pruning (184 fresh and 10 done)

PrunedKeptTotal
New27281353
Fresh7103110
Picked000
Done01010
Total279194473
Error
0.0b
Counts
473 → 194
Compiler

Compiled 5569 to 3656 computations (34.4% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.3b
(pow.f64 (*.f64 a b) 2)
0.3b
(pow.f64 (*.f64 a b) 2)

rewrite5.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
4×pow1_binary64 add-exp-log_binary64
3×pow-unpow_binary64
2×*-un-lft-identity_binary64 pow-pow_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 pow-exp_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 add-log-exp_binary64 unpow2_binary64 sqr-pow_binary64 add-cbrt-cube_binary64 unpow-prod-down_binary64 prod-exp_binary64
Counts
1 → 18
Calls

2 calls:

4.0ms
(pow.f64 (*.f64 a b) 2)
0.0ms
(pow.f64 (*.f64 a b) 2)

series56.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

56.0ms
(pow.f64 (*.f64 a b) 2)
Compiler

Compiled 96 to 108 computations (-12.5% saved)

simplify58.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04848180
14848180

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

5.2b
(*.f64 a (*.f64 (*.f64 a b) b))
0.1b
(*.f64 (*.f64 a b) b)
0.1b
(*.f64 (*.f64 a b) b)
5.2b
(*.f64 a (*.f64 (*.f64 a b) b))

rewrite15.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
4×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 associate-*l*_binary64 add-sqr-sqrt_binary64
2×add-log-exp_binary64 *-commutative_binary64
Counts
2 → 39
Calls

4 calls:

7.0ms
(*.f64 a (*.f64 (*.f64 a b) b))
5.0ms
(*.f64 (*.f64 a b) b)
0.0ms
(*.f64 (*.f64 a b) b)
0.0ms
(*.f64 a (*.f64 (*.f64 a b) b))

series126.0ms (0.7%)

Counts
2 → 12
Calls

2 calls:

67.0ms
(*.f64 a (*.f64 (*.f64 a b) b))
58.0ms
(*.f64 (*.f64 a b) b)
Compiler

Compiled 192 to 204 computations (-6.3% saved)

simplify50.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04942406
14942406

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

12.3b
(cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)))
1.4b
(*.f64 (cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))) b)
0.1b
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
0.1b
(*.f64 a (sqrt.f64 b))
0.1b
(*.f64 a (sqrt.f64 b))
0.1b
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
1.4b
(*.f64 (cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))) b)
12.3b
(cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)))

rewrite23.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64
11×pow1_binary64 add-exp-log_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×associate-*r*_binary64
7×add-cbrt-cube_binary64 associate-*l*_binary64
4×add-log-exp_binary64 sqrt-prod_binary64
3×pow-prod-down_binary64 pow-unpow_binary64 unswap-sqr_binary64 prod-exp_binary64
2×cbrt-unprod_binary64 pow-pow_binary64 cbrt-prod_binary64 pow-exp_binary64 *-commutative_binary64
1×pow-to-exp_binary64 pow1/3_binary64 sqr-pow_binary64 unpow-prod-down_binary64
Counts
4 → 67
Calls

8 calls:

6.0ms
(*.f64 a (sqrt.f64 b))
5.0ms
(*.f64 (cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))) b)
5.0ms
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
3.0ms
(cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)))
0.0ms
(*.f64 a (sqrt.f64 b))

series270.0ms (1.4%)

Counts
4 → 24
Calls

4 calls:

103.0ms
(pow.f64 (*.f64 a (sqrt.f64 b)) 6)
70.0ms
(*.f64 (cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6))) b)
51.0ms
(cbrt.f64 (*.f64 1 (pow.f64 (*.f64 a (sqrt.f64 b)) 6)))
46.0ms
(*.f64 a (sqrt.f64 b))
Compiler

Compiled 592 to 591 computations (0.2% saved)

simplify52.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
04924866
14924866

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

4.3b
(*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2))
0.3b
(*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))
0.3b
(*.f64 (*.f64 1 (*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))) (sqrt.f64 b))
0.3b
(*.f64 (*.f64 1 (*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))) (sqrt.f64 b))
0.3b
(*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))
4.3b
(*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2))

rewrite47.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
121×add-exp-log_binary64
111×prod-exp_binary64
24×pow-to-exp_binary64 add-cbrt-cube_binary64 pow-exp_binary64
23×add-sqr-sqrt_binary64
14×pow1_binary64 cbrt-unprod_binary64 associate-*r*_binary64 associate-*l*_binary64
12×unpow-prod-down_binary64
11×*-un-lft-identity_binary64 1-exp_binary64 add-cube-cbrt_binary64
9×unswap-sqr_binary64
8×pow-prod-down_binary64 sqr-pow_binary64
6×sqrt-prod_binary64
3×add-log-exp_binary64 *-commutative_binary64
Counts
3 → 115
Calls

6 calls:

15.0ms
(*.f64 (*.f64 1 (*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))) (sqrt.f64 b))
12.0ms
(*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))
8.0ms
(*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2))
0.0ms
(*.f64 (*.f64 1 (*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))) (sqrt.f64 b))
0.0ms
(*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))

series224.0ms (1.2%)

Counts
3 → 18
Calls

3 calls:

94.0ms
(*.f64 (*.f64 1 (*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))) (sqrt.f64 b))
83.0ms
(*.f64 (sqrt.f64 a) (*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2)))
46.0ms
(*.f64 (pow.f64 b 3/2) (pow.f64 a 3/2))
Compiler

Compiled 627 to 594 computations (5.3% saved)

simplify73.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049361731
149361731

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))
0.1b
(*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2))
0.1b
(*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b))))
0.1b
(sqrt.f64 (sqrt.f64 b))
0.1b
(*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))
0.2b
(pow.f64 (sqrt.f64 b) 3/2)
0.7b
(*.f64 (*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
1.0b
(*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2)))

rewrite66.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
89×add-exp-log_binary64
68×prod-exp_binary64
40×add-cbrt-cube_binary64
29×add-sqr-sqrt_binary64
28×sqrt-prod_binary64
26×cbrt-unprod_binary64
24×pow1_binary64
16×associate-*r*_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×sqrt-pow1_binary64
10×associate-*l*_binary64
8×pow1/2_binary64
7×pow-to-exp_binary64 pow-prod-down_binary64 pow-exp_binary64
6×pow-prod-up_binary64 unswap-sqr_binary64 unpow-prod-down_binary64
4×add-log-exp_binary64
3×pow-unpow_binary64 pow-pow_binary64 *-commutative_binary64
2×pow3_binary64
1×sqrt-pow2_binary64 sqr-pow_binary64 sqrt-unprod_binary64
Counts
4 → 126
Calls

8 calls:

20.0ms
(*.f64 (*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
16.0ms
(*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2)))
13.0ms
(*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))
3.0ms
(pow.f64 (sqrt.f64 b) 3/2)
0.0ms
(sqrt.f64 (sqrt.f64 b))

series250.0ms (1.3%)

Counts
4 → 18
Calls

4 calls:

89.0ms
(*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2)))
71.0ms
(*.f64 (*.f64 a (*.f64 (*.f64 a (*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))) (pow.f64 (sqrt.f64 b) 3/2))) (sqrt.f64 b))
65.0ms
(*.f64 (sqrt.f64 b) (sqrt.f64 (sqrt.f64 b)))
25.0ms
(pow.f64 (sqrt.f64 b) 3/2)
Compiler

Compiled 560 to 510 computations (8.9% saved)

simplify97.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
049091389
149091389

prune3.6s (19.2%)

Pruning

285 alts after pruning (270 fresh and 15 done)

PrunedKeptTotal
New34598443
Fresh7172179
Picked000
Done01515
Total352285637
Error
0.0b
Counts
637 → 285
Compiler

Compiled 3558 to 1809 computations (49.2% saved)

simplify151.0ms (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
0502110620

regimes1.9s (10.1%)

Compiler

Compiled 17334 to 13382 computations (22.8% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.2%)

Compiler

Compiled 56 to 102 computations (-82.1% saved)

bsearch0.0ms (0%)

regimes24.0ms (0.1%)

Accuracy

Total 0.3b remaining (96.9%)

Threshold costs 0.3b (96.9%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch2.0ms (0%)

Compiler

Compiled 18 to 21 computations (-16.7% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07226
17226

end0.0ms (0%)

sample4.5s (24.1%)

Algorithm
1×intervals
Results
239.0ms8000×body128valid
18.0ms543×body128invalid
Compiler

Compiled 4244 to 3306 computations (22.1% saved)

Pareto

0.0

Profiling

Loading profile data...