Details

Time bar (total: 2.5s)

analyze6.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample1.0s (41.6%)

Alt Table
StatusErrorProgram
▶29.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
Results
851.0ms8256×body128valid
Compiler

Compiled 37 to 32 computations (13.5% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓28.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

rewrite75.0ms (3%)

Algorithm
2×batch-egg-rewrite
Rules
850×log1p-udef_binary64
450×log1p-expm1-u_binary64
450×expm1-log1p-u_binary64
402×unpow-prod-down_binary64
251×log-prod_binary64
Counts
1 → 51
Calls

1 calls:

74.0ms
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
11226
212146
348806
462526
000
100

prune31.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New59463
Fresh000
Picked011
Done000
Total59564
Error
0.1b
Counts
64 → 5
Alt Table
StatusErrorProgram
31.1b
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
✓29.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
▶0.5b
(fabs.f64 (*.f64 x (sqrt.f64 2)))
40.1b
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 3) 1/2) (sqrt.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2)))))
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (*.f64 x 2) 1/2))
Compiler

Compiled 688 to 551 computations (19.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 x (sqrt.f64 2))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(*.f64 x (sqrt.f64 2))

rewrite144.0ms (5.8%)

Algorithm
2×batch-egg-rewrite
Rules
711×log1p-udef_binary64
386×log1p-expm1-u_binary64
386×expm1-log1p-u_binary64
336×pow1_binary64
245×unpow-prod-down_binary64
Counts
1 → 37
Calls

1 calls:

143.0ms
(*.f64 x (sqrt.f64 2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
1996
210296
348236
459486
000
100

prune75.0ms (3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New48149
Fresh033
Picked011
Done011
Total48654
Error
0.1b
Counts
54 → 6
Alt Table
StatusErrorProgram
31.1b
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
✓29.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
▶1.4b
(fabs.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3))
✓0.5b
(fabs.f64 (*.f64 x (sqrt.f64 2)))
40.1b
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 3) 1/2) (sqrt.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2)))))
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (*.f64 x 2) 1/2))
Compiler

Compiled 527 to 444 computations (15.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 x (sqrt.f64 2))
✓0.6b
(cbrt.f64 (*.f64 x (sqrt.f64 2)))
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)

series551.0ms (22.3%)

Counts
3 → 36
Calls

3 calls:

326.0ms
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)
222.0ms
(cbrt.f64 (*.f64 x (sqrt.f64 2)))
3.0ms
(*.f64 x (sqrt.f64 2))

rewrite53.0ms (2.2%)

Algorithm
2×batch-egg-rewrite
Rules
542×log1p-expm1-u_binary64
542×expm1-log1p-u_binary64
488×unpow-prod-down_binary64
278×log-prod_binary64
155×pow2_binary64
Counts
3 → 134
Calls

3 calls:

51.0ms
(*.f64 x (sqrt.f64 2))
51.0ms
(cbrt.f64 (*.f64 x (sqrt.f64 2)))
51.0ms
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
114720
2144920
3526920
000
100

prune177.0ms (7.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1673170
Fresh123
Picked011
Done022
Total1688176
Error
0.0b
Counts
176 → 8
Alt Table
StatusErrorProgram
31.1b
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
✓29.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (*.f64 x 2) 1/2))
▶0.4b
(fabs.f64 (*.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x)))
✓1.4b
(fabs.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3))
✓0.5b
(fabs.f64 (*.f64 x (sqrt.f64 2)))
1.4b
(fabs.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 3/2) (pow.f64 (cbrt.f64 2) 3/2)))
1.3b
(fabs.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (sqrt.f64 2))))
Compiler

Compiled 2413 to 2081 computations (13.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (pow.f64 2 1/4) x)
✓0.3b
(*.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x))

series33.0ms (1.3%)

Counts
2 → 12
Calls

2 calls:

29.0ms
(*.f64 (pow.f64 2 1/4) x)
4.0ms
(*.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x))

rewrite45.0ms (1.8%)

Algorithm
2×batch-egg-rewrite
Rules
566×log1p-expm1-u_binary64
566×expm1-log1p-u_binary64
392×unpow-prod-down_binary64
310×log-prod_binary64
168×pow2_binary64
Counts
2 → 34
Calls

2 calls:

44.0ms
(*.f64 (pow.f64 2 1/4) x)
44.0ms
(*.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
114813
2152313
3539613
000
100

prune26.0ms (1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New46046
Fresh044
Picked011
Done033
Total46854
Error
0.0b
Counts
54 → 8
Alt Table
StatusErrorProgram
31.1b
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
✓29.3b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
30.9b
(*.f64 (sqrt.f64 x) (pow.f64 (*.f64 x 2) 1/2))
✓0.4b
(fabs.f64 (*.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x)))
✓1.4b
(fabs.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3))
✓0.5b
(fabs.f64 (*.f64 x (sqrt.f64 2)))
1.4b
(fabs.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 2) 3/2) (pow.f64 (cbrt.f64 2) 3/2)))
1.3b
(fabs.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (sqrt.f64 2))))
Compiler

Compiled 525 to 457 computations (13% saved)

regimes105.0ms (4.2%)

Accuracy

Total 0.4b remaining (94.7%)

Threshold costs 0.4b (94.7%)

Counts
17 → 1
Compiler

Compiled 722 to 618 computations (14.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×fabs-mul_binary64
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
11315
21715
31715

end98.0ms (4%)

Compiler

Compiled 97 to 84 computations (13.4% saved)

Profiling

Loading profile data...