Details

Time bar (total: 2.5s)

analyze644.0ms (25.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
0%99.9%0.1%5
0%99.9%0.1%6
31.2%68.6%0.1%7
40.6%59.3%0.1%8
43.7%56.2%0.1%9
56.6%43.3%0.1%10
61%37.3%1.7%11
62.1%34.8%3.1%12
68.6%25.6%5.8%13
70.6%22.1%7.4%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample20.0ms (0.8%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
1.0ms50×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify42.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
377×fma-neg_binary64
309×fma-def_binary64
112×cancel-sign-sub-inv_binary64
77×distribute-rgt-in_binary64
56×unsub-neg_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
22410
34210
48010
513810
630210
742010
858110
964710
1071810
1174010
1274410
1369910

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.0b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 20 to 12 computations (40% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 y x) z)
0.0b
(+.f64 x (/.f64 (-.f64 y x) z))

rewrite69.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
22×add-cube-cbrt_binary64
12×div-sub_binary64
10×add-cbrt-cube_binary64
8×add-exp-log_binary64
8×pow1_binary64
Counts
2 → 98
Calls

2 calls:

14.0ms
(/.f64 (-.f64 y x) z)
12.0ms
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 1295 to 304 computations (76.5% saved)

series54.0ms (2.1%)

Error
0.0b
Counts
2 → 33
Calls

2 calls:

26.0ms
(+.f64 x (/.f64 (-.f64 y x) z))
20.0ms
(/.f64 (-.f64 y x) z)
Compiler

Compiled 621 to 366 computations (41.1% saved)

simplify94.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
723×fma-def_binary64
476×distribute-rgt-in_binary64
441×distribute-lft-in_binary64
347×fma-neg_binary64
207×cancel-sign-sub-inv_binary64
Counts
131 → 56
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01391399
13761341
215791330
346581330
449741330

prune16.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New54256
Fresh000
Picked011
Done000
Total54357
Error
0.0b
Counts
57 → 3
Alt Table
StatusErrorProgram
▶25.9b
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z)))
41.6b
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (/.f64 1 (fma.f64 x x (*.f64 (/.f64 (-.f64 y x) z) (-.f64 (/.f64 (-.f64 y x) z) x)))))
✓0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
Compiler

Compiled 600 to 200 computations (66.7% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 z (-.f64 y x))
0.0b
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z)))
28.3b
(/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z))

rewrite108.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
33×add-cube-cbrt_binary64
19×pow1_binary64
18×add-exp-log_binary64
16×add-sqr-sqrt_binary64
15×add-cbrt-cube_binary64
Counts
3 → 136
Calls

3 calls:

33.0ms
(*.f64 z (-.f64 y x))
15.0ms
(/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z))
13.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z)))
Compiler

Compiled 2608 to 480 computations (81.6% saved)

series71.0ms (2.8%)

Error
0.0b
Counts
3 → 48
Calls

3 calls:

25.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z)))
20.0ms
(/.f64 (*.f64 z (-.f64 y x)) (*.f64 z z))
19.0ms
(*.f64 z (-.f64 y x))
Compiler

Compiled 1019 to 585 computations (42.6% saved)

simplify113.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
750×fma-def_binary64
543×fma-neg_binary64
339×cancel-sign-sub-inv_binary64
250×distribute-rgt-neg-in_binary64
161×associate-*l*_binary64
Counts
184 → 118
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01792178
14841714
219111661
344771645
449361645

prune27.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1171118
Fresh101
Picked101
Done011
Total1192121
Error
0b
Counts
121 → 2
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
▶0.2b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
Compiler

Compiled 1097 to 345 computations (68.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 z (-.f64 y x))
0.0b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
0.3b
(/.f64 1 (/.f64 z (-.f64 y x)))

rewrite144.0ms (5.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
39×add-cube-cbrt_binary64
18×add-exp-log_binary64
17×add-cbrt-cube_binary64
12×pow1_binary64
12×add-sqr-sqrt_binary64
Counts
3 → 141
Calls

3 calls:

13.0ms
(/.f64 z (-.f64 y x))
13.0ms
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
12.0ms
(/.f64 1 (/.f64 z (-.f64 y x)))
Compiler

Compiled 2029 to 813 computations (59.9% saved)

series89.0ms (3.5%)

Error
0b
Counts
3 → 51
Calls

3 calls:

28.0ms
(/.f64 z (-.f64 y x))
27.0ms
(/.f64 1 (/.f64 z (-.f64 y x)))
25.0ms
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
Compiler

Compiled 1240 to 781 computations (37% saved)

simplify145.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
495×fma-def_binary64
457×fma-neg_binary64
322×distribute-rgt-in_binary64
295×distribute-lft-in_binary64
288×cancel-sign-sub-inv_binary64
Counts
192 → 107
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01762157
13951866
216331820
345351820
449991820
549791820
649611820

prune25.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1070107
Fresh000
Picked011
Done011
Total1072109
Error
0b
Counts
109 → 2
Alt Table
StatusErrorProgram
0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
0.2b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
Compiler

Compiled 922 to 309 computations (66.5% saved)

regimes83.0ms (3.3%)

Accuracy

Total 0.0b remaining (32.5%)

Threshold costs 0.0b (32.5%)

Compiler

Compiled 1200 to 674 computations (43.8% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21510
31710
41810
51810

end0.0ms (0%)

Compiler

Compiled 10 to 6 computations (40% saved)

sample781.0ms (30.7%)

Algorithm
1×intervals
Results
254.0ms8000×body128valid
43.0ms1484×body128invalid
Compiler

Compiled 46 to 30 computations (34.8% saved)

Profiling

Loading profile data...