Details

Time bar (total: 4.5s)

analyze476.0ms (10.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0123752
1123752
033
133
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
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
31.2%68.6%0.1%9
43.3%48%8.7%10
49.7%40.8%9.5%11
55.7%34%10.3%12
61.3%23.7%15%13
65%19.8%15.3%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample17.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms19×body128invalid
Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify37.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
054913
154913

prune2.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 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
0.0b
(*.f64 (-.f64 y x) 6)
0.2b
(*.f64 (*.f64 (-.f64 y x) 6) z)

rewrite71.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×pow1_binary64_21622 add-exp-log_binary64_21599 add-cbrt-cube_binary64_21597 add-sqr-sqrt_binary64_21583
8×*-un-lft-identity_binary64_21561
6×add-cube-cbrt_binary64_21596 associate-*l/_binary64_21504 associate-*l*_binary64_21502 associate-*r*_binary64_21501
5×add-log-exp_binary64_21600
4×pow-prod-down_binary64_21632 prod-exp_binary64_21610 cbrt-unprod_binary64_21594
2×flip3--_binary64_21565 flip--_binary64_21536 *-commutative_binary64_21492
1×unswap-sqr_binary64_21529 difference-of-squares_binary64_21530 distribute-lft-out--_binary64_21513 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 +-commutative_binary64_21491
Counts
3 → 53
Calls

3 calls:

8.0ms
(*.f64 (*.f64 (-.f64 y x) 6) z)
7.0ms
(*.f64 (-.f64 y x) 6)
3.0ms
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
Compiler

Compiled 872 to 443 computations (49.2% saved)

series423.0ms (9.3%)

Error
0.0b
Counts
3 → 45
Calls

3 calls:

197.0ms
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
127.0ms
(*.f64 (*.f64 (-.f64 y x) 6) z)
67.0ms
(*.f64 (-.f64 y x) 6)
Compiler

Compiled 1156 to 881 computations (23.8% saved)

simplify70.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
054611073

prune75.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New92698
Fresh000
Picked011
Done000
Total92799
Error
0.0b
Counts
99 → 7
Compiler

Compiled 1210 to 582 computations (51.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (*.f64 -6 (*.f64 z (-.f64 x y))))
0.0b
(*.f64 z (-.f64 x y))
0.3b
(*.f64 -6 (*.f64 z (-.f64 x y)))

rewrite95.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
36×distribute-rgt-in_binary64_21511 distribute-lft-in_binary64_21510
30×cancel-sign-sub-inv_binary64_21527
20×add-sqr-sqrt_binary64_21583
18×*-un-lft-identity_binary64_21561
16×add-cube-cbrt_binary64_21596 associate-+r+_binary64_21493
10×pow1_binary64_21622 add-exp-log_binary64_21599 add-cbrt-cube_binary64_21597 sub-neg_binary64_21554
6×associate-*r/_binary64_21503 associate-*l*_binary64_21502 associate-*r*_binary64_21501
5×add-log-exp_binary64_21600
4×pow-prod-down_binary64_21632 prod-exp_binary64_21610 cbrt-unprod_binary64_21594
2×flip3--_binary64_21565 flip--_binary64_21536 *-commutative_binary64_21492
1×unswap-sqr_binary64_21529 difference-of-squares_binary64_21530 distribute-lft-out--_binary64_21513 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 +-commutative_binary64_21491
Counts
3 → 93
Calls

3 calls:

8.0ms
(*.f64 -6 (*.f64 z (-.f64 x y)))
7.0ms
(*.f64 z (-.f64 x y))
5.0ms
(+.f64 x (*.f64 -6 (*.f64 z (-.f64 x y))))
Compiler

Compiled 1546 to 646 computations (58.2% saved)

series455.0ms (10%)

Error
0.0b
Counts
3 → 48
Calls

3 calls:

197.0ms
(+.f64 x (*.f64 -6 (*.f64 z (-.f64 x y))))
136.0ms
(*.f64 -6 (*.f64 z (-.f64 x y)))
94.0ms
(*.f64 z (-.f64 x y))
Compiler

Compiled 1249 to 909 computations (27.2% saved)

simplify63.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049801556
149801556

prune93.0ms (2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1401141
Fresh145
Picked101
Done011
Total1426148
Error
0.0b
Counts
148 → 6
Compiler

Compiled 1810 to 777 computations (57.1% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))
0.0b
(+.f64 x (*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))))
0.3b
(*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z))))

rewrite62.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
9×add-log-exp_binary64_21600
7×add-sqr-sqrt_binary64_21583
5×pow1_binary64_21622 add-exp-log_binary64_21599 add-cbrt-cube_binary64_21597 add-cube-cbrt_binary64_21596 *-un-lft-identity_binary64_21561
4×associate-*r*_binary64_21501
3×flip3-+_binary64_21564 flip-+_binary64_21535 associate-*l*_binary64_21502 sum-log_binary64_21652
2×distribute-rgt-in_binary64_21511 distribute-lft-in_binary64_21510 associate-*r/_binary64_21503 distribute-lft-neg-in_binary64_21518 distribute-rgt-out_binary64_21514 associate-+r+_binary64_21493 +-commutative_binary64_21491
1×pow-prod-down_binary64_21632 prod-exp_binary64_21610 cbrt-unprod_binary64_21594 unswap-sqr_binary64_21529 *-commutative_binary64_21492 neg-log_binary64_21654 unsub-neg_binary64_21555 neg-sub0_binary64_21556 associate-+r-_binary64_21495
Counts
3 → 51
Calls

3 calls:

7.0ms
(*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z))))
5.0ms
(+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))
3.0ms
(+.f64 x (*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))))
Compiler

Compiled 1090 to 347 computations (68.2% saved)

series455.0ms (10%)

Error
0.0b
Counts
3 → 48
Calls

3 calls:

184.0ms
(+.f64 x (*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))))
142.0ms
(*.f64 -6 (+.f64 (*.f64 x z) (neg.f64 (*.f64 y z))))
104.0ms
(+.f64 (*.f64 x z) (neg.f64 (*.f64 y z)))
Compiler

Compiled 1255 to 917 computations (26.9% saved)

simplify79.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049321127
149321127

prune65.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New99099
Fresh044
Picked011
Done011
Total996105
Error
0.0b
Counts
105 → 6
Compiler

Compiled 1272 to 514 computations (59.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (*.f64 (-.f64 y x) (*.f64 z 6)))
0.3b
(*.f64 (-.f64 y x) (*.f64 z 6))

rewrite36.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_21622 add-exp-log_binary64_21599 add-cbrt-cube_binary64_21597
5×add-sqr-sqrt_binary64_21583 *-un-lft-identity_binary64_21561 associate-*l*_binary64_21502
4×add-log-exp_binary64_21600
3×pow-prod-down_binary64_21632 prod-exp_binary64_21610 add-cube-cbrt_binary64_21596 cbrt-unprod_binary64_21594
2×associate-*l/_binary64_21504
1×flip3--_binary64_21565 flip--_binary64_21536 difference-of-squares_binary64_21530 distribute-lft-out--_binary64_21513 associate-*r*_binary64_21501 *-commutative_binary64_21492 sum-log_binary64_21652 flip3-+_binary64_21564 flip-+_binary64_21535 +-commutative_binary64_21491
Counts
2 → 33
Calls

2 calls:

7.0ms
(*.f64 (-.f64 y x) (*.f64 z 6))
4.0ms
(+.f64 x (*.f64 (-.f64 y x) (*.f64 z 6)))
Compiler

Compiled 570 to 293 computations (48.6% saved)

series344.0ms (7.6%)

Error
0.0b
Counts
2 → 33
Calls

2 calls:

189.0ms
(+.f64 x (*.f64 (-.f64 y x) (*.f64 z 6)))
135.0ms
(*.f64 (-.f64 y x) (*.f64 z 6))
Compiler

Compiled 874 to 653 computations (25.3% saved)

simplify68.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04986813
14986813

prune39.0ms (0.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New66066
Fresh033
Picked011
Done022
Total66672
Error
0.0b
Counts
72 → 6
Compiler

Compiled 751 to 329 computations (56.2% saved)

regimes295.0ms (6.5%)

Accuracy

Total 0.3b remaining (99.1%)

Threshold costs 0.3b (99.1%)

Compiler

Compiled 2768 to 2198 computations (20.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04016
14016

end0.0ms (0%)

sample1.2s (26.1%)

Algorithm
1×intervals
Results
226.0ms8000×body128valid
15.0ms574×body128invalid
Compiler

Compiled 716 to 571 computations (20.3% saved)

Profiling

Loading profile data...