Details

Time bar (total: 2.1s)

analyze263.0ms (12.7%)

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
12.5%87.4%0.1%6
18.7%81.1%0.1%7
37.4%62.4%0.1%8
46.8%46.8%6.4%9
54.6%39%6.4%10
62.8%30.8%6.4%11
66.9%23.6%9.5%12
71.7%18.8%9.5%13
75.3%15.2%9.5%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample69.0ms (3.3%)

Algorithm
1×intervals
Symmetry

(sort x y)

Results
11.0ms256×body128valid
0.0ms11×body128invalid
Compiler

Compiled 24 to 18 computations (25% saved)

simplify21.0ms (1%)

Algorithm
1×egg-herbie
Rules
192×fma-def_binary64
125×fma-neg_binary64
44×distribute-rgt-neg-in_binary64
36×cancel-sign-sub-inv_binary64
27×unsub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11510
22810
33810
47010
510910
619310
731110
836310
942010
1042410
1142610
1238110

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 30 to 21 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 (*.f64 x 3) y)

series5.0ms (0.2%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(*.f64 (*.f64 x 3) y)

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*r*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

4.0ms
(*.f64 (*.f64 x 3) y)

simplify73.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
865×fma-def_binary64
454×associate-*l*_binary64
380×*-commutative_binary64
340×log-div_binary64
308×associate-*r*_binary64
Counts
44 → 30
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
045380
1100344
2341344
3909344
41093344
51300344
61628344
73095344
84826344
94980344

prune23.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New27330
Fresh000
Picked011
Done000
Total27431
Error
0.0b
Counts
31 → 4
Alt Table
StatusErrorProgram
0.8b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
0.3b
(-.f64 (*.f64 x (*.f64 3 y)) z)
▶0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 438 to 266 computations (39.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 3 (*.f64 y x))

series5.0ms (0.3%)

Counts
1 → 0
Calls

1 calls:

5.0ms
(*.f64 3 (*.f64 y x))

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*l*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

4.0ms
(*.f64 3 (*.f64 y x))

simplify73.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
614×fma-def_binary64
590×distribute-rgt-in_binary64
557×distribute-lft-in_binary64
459×associate-/r/_binary64
350×*-commutative_binary64
Counts
20 → 20
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
040210
184174
2254174
3647174
4828174
5986174
61261174
71807174
84989174
95038174

prune14.0ms (0.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New20020
Fresh022
Picked011
Done011
Total20424
Error
0.0b
Counts
24 → 4
Alt Table
StatusErrorProgram
0.8b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
▶0.3b
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 323 to 196 computations (39.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 x (*.f64 3 y))

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(*.f64 x (*.f64 3 y))

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
6×pow1_binary64
3×associate-*l*_binary64
3×cbrt-unprod_binary64
Counts
1 → 20
Calls

1 calls:

8.0ms
(*.f64 x (*.f64 3 y))

simplify67.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
523×associate-/r/_binary64
451×associate-*l*_binary64
394×associate-/l*_binary64
375×*-commutative_binary64
301×associate-*r*_binary64
Counts
44 → 30
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
042378
190342
2301342
3821342
41019342
51170342
62090342
74774342
84904342

prune20.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New29130
Fresh011
Picked011
Done022
Total29534
Error
0b
Counts
34 → 5
Alt Table
StatusErrorProgram
▶0.8b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
✓0.3b
(-.f64 (*.f64 x (*.f64 3 y)) z)
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (*.f64 3 y))) z)
✓0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 452 to 271 computations (40% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
✓0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓0.6b
(*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
✓0.6b
(cbrt.f64 y)

series469.0ms (22.7%)

Counts
4 → 72
Calls

4 calls:

366.0ms
(*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
45.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
39.0ms
(cbrt.f64 y)
18.0ms
(*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))

rewrite29.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
41×pow1_binary64
36×add-exp-log_binary64
23×pow-prod-down_binary64
23×add-sqr-sqrt_binary64
22×cbrt-unprod_binary64
Counts
4 → 111
Calls

4 calls:

11.0ms
(*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
6.0ms
(*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
4.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms
(cbrt.f64 y)

simplify119.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
812×fma-def_binary64
649×unswap-sqr_binary64
587×*-commutative_binary64
444×log-prod_binary64
284×associate-*l*_binary64
Counts
183 → 149
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01261967
12581659
210601561
317201527
437291427
546871427
649111427

prune118.0ms (5.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1841185
Fresh101
Picked011
Done033
Total1855190
Error
0b
Counts
190 → 5
Alt Table
StatusErrorProgram
✓0.8b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
✓0.3b
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.3b
(-.f64 (*.f64 (*.f64 x 3) y) z)
11.1b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y)) z)
Compiler

Compiled 3448 to 1534 computations (55.5% saved)

regimes93.0ms (4.5%)

Accuracy

Total 0.1b remaining (91.5%)

Threshold costs 0.1b (91.5%)

Counts
9 → 1
Compiler

Compiled 1027 to 700 computations (31.8% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11210
21710
31910
42010
52010

end7.0ms (0.4%)

Remove

(sort x y)

Compiler

Compiled 30 to 21 computations (30% saved)

sample543.0ms (26.4%)

Algorithm
1×intervals
Results
248.0ms8000×body128valid
9.0ms317×body128invalid
Compiler

Compiled 87 to 60 computations (31% saved)

Profiling

Loading profile data...