Details

Time bar (total: 2.8s)

analyze4.0ms (0.1%)

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)

sample1.2s (42.5%)

Results
951.0ms8256×body128valid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify212.0ms (7.6%)

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

prune1.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.1%)

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.2%)

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.2%)

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:

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

simplify69.0ms (2.5%)

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

prune53.0ms (1.9%)

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 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
▶0.0b
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))
Compiler

Compiled 1036 to 716 computations (30.9% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))
✓0.0b
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x))))

series677.0ms (24.4%)

Counts
2 → 24
Calls

2 calls:

338.0ms
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x))))
338.0ms
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
13×log-prod_binary64
11×add-sqr-sqrt_binary64
10×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
9×times-frac_binary64
Counts
2 → 42
Calls

2 calls:

7.0ms
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x))))
3.0ms
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))

simplify86.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
441×times-frac_binary64
375×fma-def_binary64
343×associate-*r*_binary64
314×associate-/l*_binary64
297×fma-neg_binary64
Counts
66 → 83
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01731378
13831292
21278954
34650925
44986925
54921925

prune58.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New83083
Fresh011
Picked011
Done000
Total83285
Error
0b
Counts
85 → 2
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
✓0.0b
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))
Compiler

Compiled 1614 to 1069 computations (33.8% saved)

localize6.0ms (0.2%)

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.4%)

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)
2.0ms
(cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3))

rewrite15.0ms (0.6%)

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)

simplify94.0ms (3.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

prune114.0ms (4.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1810181
Fresh000
Picked011
Done011
Total1812183
Error
0b
Counts
183 → 2
Alt Table
StatusErrorProgram
✓0.0b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 1 (*.f64 x x)) 3)))
✓0.0b
(sqrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (*.f64 x x)))))
Compiler

Compiled 2774 to 1966 computations (29.1% saved)

regimes106.0ms (3.8%)

Accuracy

Total -0.0b remaining (-1127.2%)

Threshold costs -0.0b (-1127.2%)

Counts
37 → 1
Compiler

Compiled 1605 to 1239 computations (22.8% saved)

simplify3.0ms (0.1%)

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

end52.0ms (1.9%)

Compiler

Compiled 38 to 30 computations (21.1% saved)

Profiling

Loading profile data...