Details

Time bar (total: 2.6s)

analyze39.0ms (1.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
68.7%31.2%0.1%6
68.7%18.7%12.6%7
71.8%15.6%12.6%8
71.8%9.4%18.8%9
73.4%7.8%18.8%10
73.4%4.7%22%11
74.1%3.9%22%12
74.1%2.3%23.5%13
74.5%2%23.5%14
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample21.0ms (0.8%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
3.0ms145×body128invalid
Compiler

Compiled 13 to 13 computations (0% saved)

simplify227.0ms (8.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (136.0ms)

IterNodesCost
057239

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 12 to 10 computations (16.7% saved)

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b
(exp.f64 (*.f64 y y))
0.0b
(*.f64 x (exp.f64 (*.f64 y y)))

rewrite25.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-sqr-sqrt_binary64_24652
4×pow1_binary64_24691 add-log-exp_binary64_24669 add-cbrt-cube_binary64_24666 add-cube-cbrt_binary64_24665 *-un-lft-identity_binary64_24630
3×add-exp-log_binary64_24668 associate-*l*_binary64_24571 associate-*r*_binary64_24570
1×pow-prod-down_binary64_24701 prod-exp_binary64_24679 cbrt-unprod_binary64_24663 unswap-sqr_binary64_24598 *-commutative_binary64_24561 exp-to-pow_binary64_24692 exp-prod_binary64_24682 rem-exp-log_binary64_24670
Counts
2 → 28
Calls

2 calls:

5.0ms
(*.f64 x (exp.f64 (*.f64 y y)))
1.0ms
(exp.f64 (*.f64 y y))
Compiler

Compiled 320 to 75 computations (76.6% saved)

series95.0ms (3.6%)

Error
0.0b
Counts
2 → 15
Calls

2 calls:

65.0ms
(*.f64 x (exp.f64 (*.f64 y y)))
18.0ms
(exp.f64 (*.f64 y y))
Compiler

Compiled 302 to 254 computations (15.9% saved)

simplify82.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04939439
14939439

prune30.0ms (1.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New39443
Fresh000
Picked101
Done000
Total40444
Error
0b
Counts
44 → 4
Compiler

Compiled 443 to 143 computations (67.7% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 x (pow.f64 (exp.f64 y) y))

rewrite22.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×add-sqr-sqrt_binary64_24652
7×associate-*r*_binary64_24570
5×add-exp-log_binary64_24668
4×add-cube-cbrt_binary64_24665 *-un-lft-identity_binary64_24630 unpow-prod-down_binary64_24709
3×prod-exp_binary64_24679 add-cbrt-cube_binary64_24666 unswap-sqr_binary64_24598 associate-*l*_binary64_24571
2×sqr-pow_binary64_24602
1×pow1_binary64_24691 pow-to-exp_binary64_24699 pow-exp_binary64_24698 add-log-exp_binary64_24669 cbrt-unprod_binary64_24663 *-commutative_binary64_24561
Counts
1 → 25
Calls

1 calls:

6.0ms
(*.f64 x (pow.f64 (exp.f64 y) y))
Compiler

Compiled 322 to 93 computations (71.1% saved)

series150.0ms (5.7%)

Error
0b
Counts
1 → 9
Calls

1 calls:

145.0ms
(*.f64 x (pow.f64 (exp.f64 y) y))
Compiler

Compiled 212 to 145 computations (31.6% saved)

simplify87.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04976414
14976414

prune19.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New34034
Fresh033
Picked011
Done000
Total34438
Error
0b
Counts
38 → 4
Compiler

Compiled 384 to 104 computations (72.9% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 y y) 1)
0.0b
(+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4)))
0.0b
(*.f64 x (+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4))))

rewrite81.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-log-exp_binary64_24669
7×add-sqr-sqrt_binary64_24652
5×pow1_binary64_24691 add-exp-log_binary64_24668 add-cbrt-cube_binary64_24666 add-cube-cbrt_binary64_24665 *-un-lft-identity_binary64_24630
4×sum-log_binary64_24721
3×flip3-+_binary64_24633 flip-+_binary64_24604 associate-*l*_binary64_24571 associate-*r*_binary64_24570
2×associate-*r/_binary64_24572 +-commutative_binary64_24560
1×pow-prod-down_binary64_24701 prod-exp_binary64_24679 cbrt-unprod_binary64_24663 unswap-sqr_binary64_24598 distribute-rgt-in_binary64_24580 distribute-lft-in_binary64_24579 *-commutative_binary64_24561 associate-+l+_binary64_24563
Counts
3 → 46
Calls

3 calls:

12.0ms
(*.f64 x (+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4))))
8.0ms
(+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4)))
4.0ms
(+.f64 (*.f64 y y) 1)
Compiler

Compiled 1084 to 703 computations (35.1% saved)

series339.0ms (12.9%)

Error
0b
Counts
3 → 27
Calls

3 calls:

193.0ms
(*.f64 x (+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4))))
92.0ms
(+.f64 (+.f64 (*.f64 y y) 1) (*.f64 1/2 (pow.f64 y 4)))
37.0ms
(+.f64 (*.f64 y y) 1)
Compiler

Compiled 736 to 616 computations (16.3% saved)

simplify73.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049681201
149681201

prune64.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New73073
Fresh022
Picked011
Done011
Total73477
Error
0b
Counts
77 → 4
Compiler

Compiled 1241 to 792 computations (36.2% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 x (*.f64 y y)))
6.9b
(*.f64 x (*.f64 y y))

rewrite29.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×pow1_binary64_24691 add-exp-log_binary64_24668 add-cbrt-cube_binary64_24666
4×add-log-exp_binary64_24669 add-sqr-sqrt_binary64_24652
3×pow-prod-down_binary64_24701 prod-exp_binary64_24679 add-cube-cbrt_binary64_24665 cbrt-unprod_binary64_24663 *-un-lft-identity_binary64_24630 associate-*l*_binary64_24571
1×unswap-sqr_binary64_24598 associate-*r*_binary64_24570 *-commutative_binary64_24561 sum-log_binary64_24721 flip3-+_binary64_24633 flip-+_binary64_24604 +-commutative_binary64_24560
Counts
2 → 30
Calls

2 calls:

8.0ms
(*.f64 x (*.f64 y y))
3.0ms
(+.f64 x (*.f64 x (*.f64 y y)))
Compiler

Compiled 409 to 108 computations (73.6% saved)

series131.0ms (5%)

Error
0b
Counts
2 → 15
Calls

2 calls:

70.0ms
(+.f64 x (*.f64 x (*.f64 y y)))
54.0ms
(*.f64 x (*.f64 y y))
Compiler

Compiled 274 to 221 computations (19.3% saved)

simplify94.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
04910451
14910451

prune21.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New45045
Fresh011
Picked011
Done022
Total45449
Error
0b
Counts
49 → 4
Compiler

Compiled 438 to 108 computations (75.3% saved)

regimes141.0ms (5.4%)

Accuracy

Total 0.0b remaining (65.4%)

Threshold costs 0.0b (65.4%)

Compiler

Compiled 1025 to 731 computations (28.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
079
179

end0.0ms (0%)

sample822.0ms (31.4%)

Algorithm
1×intervals
Results
193.0ms8000×body128valid
102.0ms4317×body128invalid
Compiler

Compiled 171 to 127 computations (25.7% saved)

Profiling

Loading profile data...