Details

Time bar (total: 1.5s)

analyze97.0ms (6.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)

sample14.0ms (1%)

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

Compiled 21 to 15 computations (28.6% saved)

simplify10.0ms (0.7%)

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.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.3b
(*.f64 (*.f64 (*.f64 x 3) y) y)
Compiler

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.3%)

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)

series15.0ms (1%)

Counts
2 → 48
Calls

2 calls:

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

rewrite10.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)

simplify84.0ms (5.8%)

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

prune44.0ms (3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New58563
Fresh000
Picked011
Done000
Total58664
Error
0.0b
Counts
64 → 6
Alt Table
StatusErrorProgram
0.3b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.3b
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
1.0b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
11.2b
(*.f64 (*.f64 x 3) (*.f64 y y))
20.3b
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) (sqrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))))
Compiler

Compiled 903 to 511 computations (43.4% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series18.0ms (1.2%)

Counts
2 → 48
Calls

2 calls:

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

rewrite10.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 3 (*.f64 y (*.f64 y x)))
4.0ms
(*.f64 y (*.f64 y x))

simplify93.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
475×unswap-sqr_binary64
366×times-frac_binary64
338×associate-+l+_binary64
333×sqr-pow_binary64
318×*-commutative_binary64
Counts
91 → 61
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
064965
1143848
2504848
3772846
41133846
52151846
63985846
74494846
84862846

prune40.0ms (2.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New59261
Fresh224
Picked011
Done011
Total61667
Error
0b
Counts
67 → 6
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (*.f64 3 y) (*.f64 y x))
1.0b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
0.5b
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x))))
11.2b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.3b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
Compiler

Compiled 868 to 386 computations (55.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.7%)

Counts
1 → 24
Calls

1 calls:

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

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 y x))

simplify90.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
431×distribute-rgt-in_binary64
388×distribute-lft-in_binary64
343×associate-+l+_binary64
323×*-commutative_binary64
312×unswap-sqr_binary64
Counts
48 → 31
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051607
1122517
2473517
3709517
41021517
51822517
63315517
74730517
84999517
94890517

prune23.0ms (1.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New31031
Fresh033
Picked011
Done022
Total31637
Error
0b
Counts
37 → 6
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 (*.f64 3 y) (*.f64 y x))
1.0b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
▶0.5b
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x))))
11.2b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.3b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
Compiler

Compiled 506 to 267 computations (47.2% saved)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series44.0ms (3%)

Counts
2 → 48
Calls

2 calls:

29.0ms
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x))))
15.0ms
(*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x)))

rewrite21.0ms (1.4%)

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

2 calls:

9.0ms
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x))))
7.0ms
(*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x)))

simplify106.0ms (7.3%)

Algorithm
1×egg-herbie
Rules
766×unswap-sqr_binary64
412×*-commutative_binary64
379×associate-+l+_binary64
241×associate-*r*_binary64
232×associate-+r+_binary64
Counts
103 → 76
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0801417
12071240
26941240
312151232
419471232
549511232
649771232
750021232

prune74.0ms (5.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1050105
Fresh022
Picked011
Done033
Total1056111
Error
0b
Counts
111 → 6
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 (*.f64 3 y) (*.f64 y x))
1.0b
(*.f64 (*.f64 y (*.f64 (*.f64 3 x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 y))
✓0.5b
(*.f64 (sqrt.f64 3) (*.f64 (sqrt.f64 3) (*.f64 y (*.f64 y x))))
11.2b
(*.f64 (*.f64 x 3) (*.f64 y y))
✓0.3b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
Compiler

Compiled 1830 to 1085 computations (40.7% saved)

regimes147.0ms (10%)

Accuracy

Total 0.2b remaining (92.4%)

Threshold costs 0.2b (92.4%)

Counts
35 → 1
Compiler

Compiled 2220 to 1537 computations (30.8% saved)

simplify2.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)

sample483.0ms (33%)

Algorithm
1×intervals
Results
227.0ms8000×body128valid
4.0ms163×body128invalid
Compiler

Compiled 86 to 58 computations (32.6% saved)

Profiling

Loading profile data...