Details

Time bar (total: 1.8s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample943.0ms (52%)

Results
711.0ms8256×body128valid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify201.0ms (11.1%)

Algorithm
1×egg-herbie
Rules
1115×distribute-rgt-neg-in_binary64
788×distribute-rgt-out--_binary64
692×unsub-neg_binary64
492×fma-neg_binary64
461×distribute-neg-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
1139
2199
3299
4459
5689
61089
72429
84479
97249
1015319
1123119
1223659
1326019
1427499
1527479
1628249
1730839
1836469
1946389
2048839
2149259
2249369
2349339
2461859

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
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 1 (*.f64 x x))
✓0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))

series7.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

4.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))
2.0ms
(-.f64 1 (*.f64 x x))

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64
5×sqrt-prod_binary64
5×add-cube-cbrt_binary64
4×difference-of-squares_binary64
Counts
2 → 41
Calls

2 calls:

3.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))
2.0ms
(-.f64 1 (*.f64 x x))

simplify71.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
508×fma-neg_binary64
320×times-frac_binary64
300×neg-mul-1_binary64
296×neg-sub0_binary64
260×unswap-sqr_binary64
Counts
65 → 76
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0100827
1239777
2655750
32266746
44452746
54914746

prune55.0ms (3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New74276
Fresh000
Picked101
Done000
Total75277
Error
0b
Counts
77 → 2
Alt Table
StatusErrorProgram
0.0b
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))
▶0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
Compiler

Compiled 1036 to 716 computations (30.9% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 1 (*.f64 x x))
✓0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
✓0.0b
(pow.f64 (-.f64 1 (*.f64 x x)) 3)
✓0.0b
(cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3))

series10.0ms (0.6%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
3.0ms
(pow.f64 (-.f64 1 (*.f64 x x)) 3)
3.0ms
(cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3))

rewrite20.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64
23×add-sqr-sqrt_binary64
19×sqrt-prod_binary64
19×*-un-lft-identity_binary64
16×cube-prod_binary64
Counts
3 → 98
Calls

3 calls:

4.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
3.0ms
(cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3))
3.0ms
(pow.f64 (-.f64 1 (*.f64 x x)) 3)

simplify79.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
545×fma-neg_binary64
542×cancel-sign-sub-inv_binary64
404×fma-def_binary64
239×distribute-rgt-in_binary64
218×unswap-sqr_binary64
Counts
134 → 150
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01601850
13641733
210951700
331421688
449441688

prune116.0ms (6.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1801181
Fresh101
Picked101
Done000
Total1821183
Error
0b
Counts
183 → 1
Alt Table
StatusErrorProgram
▶0b
(exp.f64 (*.f64 1/2 (log1p.f64 (neg.f64 (*.f64 x x)))))
Compiler

Compiled 2772 to 1964 computations (29.1% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 1/2 (log1p.f64 (neg.f64 (*.f64 x x))))
✓0.0b
(log1p.f64 (neg.f64 (*.f64 x x)))

series9.0ms (0.5%)

Counts
2 → 24
Calls

2 calls:

5.0ms
(*.f64 1/2 (log1p.f64 (neg.f64 (*.f64 x x))))
4.0ms
(log1p.f64 (neg.f64 (*.f64 x x)))

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
4×add-exp-log_binary64
Counts
2 → 31
Calls

2 calls:

3.0ms
(*.f64 1/2 (log1p.f64 (neg.f64 (*.f64 x x))))
0.0ms
(log1p.f64 (neg.f64 (*.f64 x x)))

simplify82.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
465×sub-neg_binary64
360×fma-def_binary64
319×unsub-neg_binary64
307×neg-mul-1_binary64
300×distribute-neg-in_binary64
Counts
55 → 85
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01311008
1375941
21052906
33061906
44690906
55056906

prune49.0ms (2.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New85085
Fresh000
Picked011
Done000
Total85186
Error
0b
Counts
86 → 1
Alt Table
StatusErrorProgram
✓0b
(exp.f64 (*.f64 1/2 (log1p.f64 (neg.f64 (*.f64 x x)))))
Compiler

Compiled 1403 to 956 computations (31.9% saved)

regimes102.0ms (5.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
34 → 1
Compiler

Compiled 1445 to 1111 computations (23.1% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×+-commutative_binary64
2×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11613
22013
32313
42413
52413

end36.0ms (2%)

Compiler

Compiled 27 to 21 computations (22.2% saved)

Profiling

Loading profile data...