Details

Time bar (total: 3.1s)

analyze71.0ms (2.3%)

Algorithm
1×search
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
18.7%81.2%0.1%5
65.6%34.3%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample923.0ms (29.7%)

Symmetry

(sort x y)

Results
862.0ms8256×body128valid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify29.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
525×fma-neg_binary64
358×fma-def_binary64
343×rules-42_binary64
331×rules-40_binary64
307×rules-41_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
14110
211410
340910
4111810
51910

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
30.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶30.2b
(/.f64 (*.f64 x 100) (+.f64 x y))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.7b
(/.f64 (*.f64 x 100) (+.f64 x y))

series11.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

11.0ms
(/.f64 (*.f64 x 100) (+.f64 x y))

rewrite55.0ms (1.8%)

Algorithm
2×batch-egg-rewrite
Rules
749×log1p-expm1-u_binary64
749×expm1-log1p-u_binary64
401×prod-diff_binary64
74×add-sqr-sqrt_binary64
70×add-cbrt-cube_binary64
Counts
1 → 34
Calls

1 calls:

54.0ms
(/.f64 (*.f64 x 100) (+.f64 x y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
117110
2217310
3556310
000
100

simplify83.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
821×fma-neg_binary64
572×rules-21_binary64
429×rules-15-rev_binary64
403×rules-40_binary64
403×rules-41_binary64
Counts
58 → 47
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
037534
1276510
21292501
34849501
44547501
55087501

prune55.0ms (1.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New39847
Fresh000
Picked011
Done000
Total39948
Error
12.8b
Counts
48 → 9
Alt Table
StatusErrorProgram
✓30.2b
(/.f64 (*.f64 x 100) (+.f64 x y))
47.0b
(*.f64 100 (/.f64 x y))
39.4b
(pow.f64 (pow.f64 (/.f64 (*.f64 x 100) (+.f64 x y)) 3) 1/3)
54.3b
(*.f64 (fma.f64 x x (-.f64 (*.f64 y y) (*.f64 x y))) (/.f64 (*.f64 x 100) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
30.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) 2))
30.7b
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x 100)) 2) (/.f64 (cbrt.f64 (*.f64 x 100)) (+.f64 x y)))
29.9b
(*.f64 x (/.f64 100 (+.f64 x y)))
46.2b
(-.f64 100 (*.f64 100 (/.f64 y x)))
▶29.3b
100
Compiler

Compiled 835 to 517 computations (38.1% saved)

localize0.0ms (0%)

prune7.0ms (0.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New000
Fresh077
Picked011
Done011
Total099
Error
12.8b
Counts
9 → 9
Alt Table
StatusErrorProgram
✓30.2b
(/.f64 (*.f64 x 100) (+.f64 x y))
47.0b
(*.f64 100 (/.f64 x y))
39.4b
(pow.f64 (pow.f64 (/.f64 (*.f64 x 100) (+.f64 x y)) 3) 1/3)
54.3b
(*.f64 (fma.f64 x x (-.f64 (*.f64 y y) (*.f64 x y))) (/.f64 (*.f64 x 100) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
30.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) 2))
30.7b
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x 100)) 2) (/.f64 (cbrt.f64 (*.f64 x 100)) (+.f64 x y)))
▶29.9b
(*.f64 x (/.f64 100 (+.f64 x y)))
46.2b
(-.f64 100 (*.f64 100 (/.f64 y x)))
✓29.3b
100
Compiler

Compiled 212 to 149 computations (29.7% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 100 (+.f64 x y))
✓0.1b
(*.f64 x (/.f64 100 (+.f64 x y)))

series21.0ms (0.7%)

Counts
2 → 48
Calls

2 calls:

12.0ms
(*.f64 x (/.f64 100 (+.f64 x y)))
9.0ms
(/.f64 100 (+.f64 x y))

rewrite64.0ms (2.1%)

Algorithm
2×batch-egg-rewrite
Rules
772×log1p-expm1-u_binary64
772×expm1-log1p-u_binary64
435×prod-diff_binary64
97×egg-rr
75×add-sqr-sqrt_binary64
Counts
2 → 97
Calls

2 calls:

62.0ms
(/.f64 100 (+.f64 x y))
62.0ms
(*.f64 x (/.f64 100 (+.f64 x y)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
117317
2222717
3578117
000
100

simplify80.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
764×rules-40_binary64
764×rules-41_binary64
764×rules-42_binary64
764×rules-43_binary64
746×fma-def_binary64
Counts
145 → 124
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0661086
14911041
223701023
349691023
455611023

prune88.0ms (2.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1195124
Fresh246
Picked101
Done022
Total12211133
Error
9.8b
Counts
133 → 11
Alt Table
StatusErrorProgram
▶30.5b
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x) (neg.f64 (*.f64 0 x))) (fma.f64 0 x (*.f64 0 x)))
30.7b
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x 100)) 2) (/.f64 (cbrt.f64 (*.f64 x 100)) (+.f64 x y)))
✓30.2b
(/.f64 (*.f64 x 100) (+.f64 x y))
47.0b
(*.f64 100 (/.f64 x y))
46.3b
(*.f64 x (fabs.f64 (/.f64 100 (+.f64 x y))))
30.7b
(/.f64 (/.f64 (*.f64 x 100) (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)))
58.1b
(log.f64 (pow.f64 (exp.f64 x) (/.f64 100 (+.f64 x y))))
30.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x 100) (+.f64 x y))) 2))
46.2b
(-.f64 100 (*.f64 100 (/.f64 y x)))
✓29.3b
100
54.6b
(*.f64 x (log.f64 (exp.f64 (/.f64 100 (+.f64 x y)))))
Compiler

Compiled 2545 to 1517 computations (40.4% saved)

localize14.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x)
✓0.3b
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x) (neg.f64 (*.f64 0 x)))
✓0.5b
(pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2)
✓0.6b
(cbrt.f64 (/.f64 100 (+.f64 x y)))

series267.0ms (8.6%)

Counts
4 → 96
Calls

4 calls:

112.0ms
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x) (neg.f64 (*.f64 0 x)))
75.0ms
(pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2)
42.0ms
(*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x)
37.0ms
(cbrt.f64 (/.f64 100 (+.f64 x y)))

rewrite95.0ms (3.1%)

Algorithm
2×batch-egg-rewrite
Rules
812×fma-neg_binary64
457×prod-diff_binary64
226×egg-rr
195×expm1-udef_binary64
195×log1p-udef_binary64
Counts
4 → 226
Calls

4 calls:

91.0ms
(*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x)
91.0ms
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x) (neg.f64 (*.f64 0 x)))
91.0ms
(pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2)
91.0ms
(cbrt.f64 (/.f64 100 (+.f64 x y)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01465
132441
2308741
3506941
000
100

simplify102.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
686×rules-20_binary64
620×rules-41_binary64
620×rules-43_binary64
618×rules-40_binary64
618×rules-42_binary64
Counts
322 → 347
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03105134
124035134
249625134

prune440.0ms (14.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New4124416
Fresh268
Picked101
Done022
Total41512427
Error
9.8b
Counts
427 → 12
Alt Table
StatusErrorProgram
✓30.2b
(/.f64 (*.f64 x 100) (+.f64 x y))
47.0b
(*.f64 100 (/.f64 x y))
39.8b
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (exp.f64 (log.f64 (*.f64 x (cbrt.f64 (/.f64 100 (+.f64 x y)))))) (neg.f64 (*.f64 0 x))) (fma.f64 0 x (*.f64 0 x)))
46.6b
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (*.f64 (fabs.f64 (cbrt.f64 (/.f64 100 (+.f64 x y)))) x) (neg.f64 (*.f64 0 x))) (fma.f64 0 x (*.f64 0 x)))
58.1b
(log.f64 (pow.f64 (exp.f64 x) (/.f64 100 (+.f64 x y))))
30.7b
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x 100)) 2) (/.f64 (cbrt.f64 (*.f64 x 100)) (+.f64 x y)))
46.2b
(-.f64 100 (*.f64 100 (/.f64 y x)))
✓29.3b
100
49.8b
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) 2) (pow.f64 (pow.f64 (*.f64 x (cbrt.f64 (/.f64 100 (+.f64 x y)))) 3) 1/3) (neg.f64 (*.f64 0 x))) (fma.f64 0 x (*.f64 0 x)))
54.6b
(*.f64 x (log.f64 (exp.f64 (/.f64 100 (+.f64 x y)))))
46.3b
(*.f64 x (fabs.f64 (/.f64 100 (+.f64 x y))))
43.8b
(+.f64 (fma.f64 (pow.f64 (*.f64 (cbrt.f64 100) (cbrt.f64 (/.f64 1 x))) 2) (*.f64 (cbrt.f64 (/.f64 100 (+.f64 x y))) x) (neg.f64 (*.f64 0 x))) (fma.f64 0 x (*.f64 0 x)))
Compiler

Compiled 18688 to 13440 computations (28.1% saved)

regimes412.0ms (13.3%)

Accuracy

Total 11.7b remaining (99.8%)

Threshold costs 0b (0%)

Counts
45 → 7
Compiler

Compiled 3088 to 2207 computations (28.5% saved)

bsearch91.0ms (2.9%)

Steps
ItersRangePoint
7
3.999075364507328e+295
2.4497022760881784e+297
4.0463059399122565e+295
6
2.8180594690781196e+224
1.4824756329285198e+225
1.4672009052933056e+225
7
6.606784980254272e+203
6.995184831396057e+205
6.770638945663061e+203
6
1.0594524052688578e+150
4.4569525966193485e+150
4.404093813874534e+150
6
9.685032766295956e+121
7.653920278254507e+122
1.1419780404580396e+122
7
1.4356045839984636e-146
2.9600219015731886e-145
2.9324058059803696e-145
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03284
13484
23384

end185.0ms (6%)

Remove

(sort x y)

Compiler

Compiled 445 to 307 computations (31% saved)

Profiling

Loading profile data...