Details

Time bar (total: 3.9s)

analyze463.0ms (11.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010752
110752
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
25%74.9%0.1%8
31.2%64%4.8%9
31.2%42.1%26.7%10
35.9%37.1%27.1%11
38.2%32.2%29.6%12
47.8%21.6%30.6%13
50.2%19%30.8%14
Symmetry

(sort x y)

Compiler

Compiled 16 to 9 computations (43.8% saved)

sample25.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
0.0ms15×body128invalid
Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
04113
14113

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 24 computations (27.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite41.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_12756 add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
4×add-log-exp_binary64_12734
3×pow-prod-down_binary64_12766 prod-exp_binary64_12744 add-cube-cbrt_binary64_12730 cbrt-unprod_binary64_12728 add-sqr-sqrt_binary64_12717 *-un-lft-identity_binary64_12695 associate-*l*_binary64_12636
1×associate-*r*_binary64_12635 *-commutative_binary64_12626 sum-log_binary64_12786 flip3-+_binary64_12698 flip-+_binary64_12669 +-commutative_binary64_12625
Counts
2 → 29
Calls

2 calls:

5.0ms
(*.f64 z (*.f64 z 3))
4.0ms
(+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3)))
Compiler

Compiled 476 to 253 computations (46.8% saved)

series182.0ms (4.7%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

145.0ms
(+.f64 (*.f64 x y) (*.f64 z (*.f64 z 3)))
26.0ms
(*.f64 z (*.f64 z 3))
Compiler

Compiled 394 to 344 computations (12.7% saved)

simplify92.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
04926545
14926545

prune38.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New47350
Fresh011
Picked011
Done000
Total47552
Error
0.0b
Counts
52 → 5
Compiler

Compiled 610 to 291 computations (52.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
0.1b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))

rewrite43.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-log-exp_binary64_12734
9×sum-log_binary64_12786
2×pow1_binary64_12756 add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 add-cube-cbrt_binary64_12730 add-sqr-sqrt_binary64_12717 flip3-+_binary64_12698 *-un-lft-identity_binary64_12695 flip-+_binary64_12669 associate-+l+_binary64_12628 +-commutative_binary64_12625
Counts
2 → 27
Calls

2 calls:

10.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
8.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
Compiler

Compiled 740 to 98 computations (86.8% saved)

series323.0ms (8.2%)

Error
0.0b
Counts
2 → 36
Calls

2 calls:

154.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
150.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
Compiler

Compiled 806 to 615 computations (23.7% saved)

simplify92.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04860817
14860817

prune43.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh033
Picked011
Done011
Total63568
Error
0.0b
Counts
68 → 5
Compiler

Compiled 854 to 301 computations (64.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 z z))
0.3b
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
19.1b
(sqrt.f64 (*.f64 3 (*.f64 z z)))
19.1b
(sqrt.f64 (*.f64 3 (*.f64 z z)))

rewrite144.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
148×pow1_binary64_12756
80×pow-prod-down_binary64_12766
66×sqrt-pow1_binary64_12713
17×pow-prod-up_binary64_12765
14×pow1/2_binary64_12775
12×add-sqr-sqrt_binary64_12717
11×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731 pow-sqr_binary64_12668
9×add-cube-cbrt_binary64_12730 *-un-lft-identity_binary64_12695
7×associate-*l*_binary64_12636
6×sqrt-prod_binary64_12711
5×associate-*r*_binary64_12635
4×add-log-exp_binary64_12734 prod-exp_binary64_12744 cbrt-unprod_binary64_12728 swap-sqr_binary64_12662
2×unswap-sqr_binary64_12663 *-commutative_binary64_12626
1×pow2_binary64_12776 pow-plus_binary64_12758 sqrt-unprod_binary64_12715 rem-square-sqrt_binary64_12707
Counts
4 → 109
Calls

4 calls:

14.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
6.0ms
(*.f64 3 (*.f64 z z))
5.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 2280 to 1253 computations (45% saved)

series158.0ms (4%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

53.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (sqrt.f64 (*.f64 3 (*.f64 z z))))
33.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
31.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
28.0ms
(*.f64 3 (*.f64 z z))
Compiler

Compiled 543 to 437 computations (19.5% saved)

simplify79.0ms (2%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04997772
14997772

prune104.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1192121
Fresh112
Picked101
Done022
Total1215126
Error
0.0b
Counts
126 → 5
Compiler

Compiled 1932 to 1033 computations (46.5% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z))
0.2b
(*.f64 3 (*.f64 z z))
0.3b
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z)))
19.1b
(sqrt.f64 (*.f64 3 (*.f64 z z)))

rewrite109.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×pow1_binary64_12756
16×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
13×associate-*l*_binary64_12636
12×add-sqr-sqrt_binary64_12717
10×pow-prod-down_binary64_12766
9×add-cube-cbrt_binary64_12730 *-un-lft-identity_binary64_12695
7×prod-exp_binary64_12744 cbrt-unprod_binary64_12728
5×sqrt-prod_binary64_12711 associate-*r*_binary64_12635
4×add-log-exp_binary64_12734
3×sqrt-pow1_binary64_12713 *-commutative_binary64_12626
2×unswap-sqr_binary64_12663
1×pow1/2_binary64_12775
Counts
4 → 71
Calls

4 calls:

11.0ms
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z)))
8.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z))
6.0ms
(*.f64 3 (*.f64 z z))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
Compiler

Compiled 1619 to 908 computations (43.9% saved)

series178.0ms (4.5%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

65.0ms
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z)))
48.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 z z))) (fabs.f64 z))
33.0ms
(sqrt.f64 (*.f64 3 (*.f64 z z)))
23.0ms
(*.f64 3 (*.f64 z z))
Compiler

Compiled 531 to 440 computations (17.1% saved)

simplify77.0ms (2%)

Algorithm
1×egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049011105
149011105

prune81.0ms (2.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New83083
Fresh022
Picked011
Done022
Total83588
Error
0.0b
Counts
88 → 5
Compiler

Compiled 1606 to 968 computations (39.7% saved)

regimes343.0ms (8.7%)

Accuracy

Total 0.1b remaining (94.4%)

Threshold costs 0.1b (94.4%)

Compiler

Compiled 3613 to 2908 computations (19.5% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01313
11313
Remove

(sort x y)

Compiler

Compiled 18 to 16 computations (11.1% saved)

end0.0ms (0%)

sample1.3s (31.9%)

Algorithm
1×intervals
Results
439.0ms8000×body128valid
14.0ms461×body128invalid
Compiler

Compiled 571 to 460 computations (19.4% saved)

Profiling

Loading profile data...