Details

Time bar (total: 1.5s)

analyze90.0ms (6%)

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
25%74.9%0.1%5
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample33.0ms (2.2%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms7×body128invalid
Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify8.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
13×associate-*l*_binary64
11×associate-*r*_binary64
10×*-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11410
22810
33610
43510
53510

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.2b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
Compiler

Compiled 34 to 22 computations (35.3% saved)

localize9.0ms (0.6%)

Local error

Found 2 expressions with local error:

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

series18.0ms (1.2%)

Counts
2 → 48
Calls

2 calls:

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

rewrite11.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
16×pow1_binary64
9×cbrt-unprod_binary64
9×prod-exp_binary64
Counts
2 → 43
Calls

2 calls:

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

simplify113.0ms (7.5%)

Algorithm
1×egg-herbie
Rules
665×fma-def_binary64
371×associate-*r/_binary64
317×*-commutative_binary64
296×associate-*l/_binary64
272×associate-/l*_binary64
Counts
91 → 63
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
068960
1166852
2587852
3878850
41232850
52115850
64694850
74991850

prune51.0ms (3.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New56763
Fresh000
Picked011
Done000
Total56864
Error
0.0b
Counts
64 → 8
Alt Table
StatusErrorProgram
1.0b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) y)
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
0.8b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
11.9b
(*.f64 (*.f64 x 3) (*.f64 y y))
▶0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
11.9b
(*.f64 3 (*.f64 (pow.f64 y 2) x))
0.9b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y)) (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y))) (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y)))
Compiler

Compiled 987 to 575 computations (41.7% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series18.0ms (1.2%)

Counts
2 → 24
Calls

2 calls:

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

rewrite15.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
16×pow1_binary64
9×cbrt-unprod_binary64
9×prod-exp_binary64
Counts
2 → 43
Calls

2 calls:

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

simplify77.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
788×fma-def_binary64
339×associate-*r/_binary64
335×*-commutative_binary64
304×associate-/l*_binary64
289×associate-/l/_binary64
Counts
67 → 52
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
068793
1159685
2557685
3879683
41227683
52129683
64743683
75145683

prune51.0ms (3.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New51152
Fresh156
Picked011
Done011
Total52860
Error
0.0b
Counts
60 → 8
Alt Table
StatusErrorProgram
1.0b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 3) y)) (cbrt.f64 (*.f64 (*.f64 x 3) y))) (cbrt.f64 (*.f64 (*.f64 x 3) y))) y)
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
0.8b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
11.9b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
▶0.3b
(*.f64 (*.f64 (*.f64 3 y) x) y)
0.9b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y)) (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y))) (cbrt.f64 (*.f64 (*.f64 (*.f64 x 3) y) y)))
Compiler

Compiled 859 to 474 computations (44.8% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series15.0ms (1%)

Counts
2 → 48
Calls

2 calls:

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

rewrite11.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
16×pow1_binary64
9×cbrt-unprod_binary64
9×prod-exp_binary64
Counts
2 → 43
Calls

2 calls:

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

simplify82.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
777×fma-def_binary64
415×associate-*l/_binary64
392×*-commutative_binary64
306×associate-/l*_binary64
270×associate-/l/_binary64
Counts
91 → 61
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
071960
1167852
2673852
3960852
41322852
52199852
64750852
75132852

prune47.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New60161
Fresh235
Picked011
Done112
Total63669
Error
0.0b
Counts
69 → 6
Alt Table
StatusErrorProgram
0.8b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
11.9b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
✓0.3b
(*.f64 (*.f64 (*.f64 3 y) x) y)
▶0.3b
(*.f64 (*.f64 3 y) (*.f64 x y))
Compiler

Compiled 850 to 485 computations (42.9% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

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

rewrite6.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cbrt-cube_binary64
13×add-exp-log_binary64
13×pow1_binary64
8×cbrt-unprod_binary64
8×prod-exp_binary64
Counts
1 → 24
Calls

1 calls:

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

simplify77.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
400×distribute-rgt-in_binary64
366×distribute-lft-in_binary64
340×associate-+l+_binary64
304×*-commutative_binary64
278×sqr-pow_binary64
Counts
48 → 31
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051607
1126517
2455517
3684517
4970517
51661517
63132517
74551517
84927517

prune20.0ms (1.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New31031
Fresh033
Picked011
Done022
Total31637
Error
0.0b
Counts
37 → 6
Alt Table
StatusErrorProgram
0.8b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
11.9b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
✓0.3b
(*.f64 (*.f64 (*.f64 3 y) x) y)
✓0.3b
(*.f64 (*.f64 3 y) (*.f64 x y))
Compiler

Compiled 464 to 239 computations (48.5% saved)

regimes198.0ms (13.2%)

Accuracy

Total 0.2b remaining (91.3%)

Threshold costs 0.2b (91.3%)

Counts
34 → 1
Compiler

Compiled 2012 to 1340 computations (33.4% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21010

end0.0ms (0%)

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample527.0ms (35%)

Algorithm
1×intervals
Results
254.0ms8000×body128valid
5.0ms193×body128invalid
Compiler

Compiled 82 to 54 computations (34.1% saved)

Profiling

Loading profile data...