Details

Time bar (total: 1.6s)

analyze387.0ms (23.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
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)

sample23.0ms (1.4%)

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

Compiled 24 to 18 computations (25% saved)

simplify23.0ms (1.4%)

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

Compiled 30 to 21 computations (30% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite5.0ms (0.3%)

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 (4.4%)

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

prune25.0ms (1.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New26430
Fresh000
Picked011
Done000
Total26531
Error
0.0b
Counts
31 → 5
Alt Table
StatusErrorProgram
18.5b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y)) z)
0.5b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
▶0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 466 to 284 computations (39.1% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite5.0ms (0.3%)

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

simplify65.0ms (4%)

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.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New30030
Fresh033
Picked011
Done011
Total30535
Error
0.0b
Counts
35 → 5
Alt Table
StatusErrorProgram
18.5b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y)) z)
0.5b
(-.f64 (*.f64 (*.f64 (*.f64 x 3) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) z)
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
▶0.1b
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 456 to 276 computations (39.5% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.3%)

Counts
1 → 0
Calls

1 calls:

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

rewrite4.0ms (0.3%)

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

simplify65.0ms (4%)

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

prune17.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New19120
Fresh202
Picked101
Done022
Total22325
Error
0.0b
Counts
25 → 3
Alt Table
StatusErrorProgram
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶0.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (*.f64 y x))) z)
Compiler

Compiled 303 to 190 computations (37.3% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series54.0ms (3.3%)

Counts
2 → 48
Calls

2 calls:

36.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (*.f64 y x)))
18.0ms
(*.f64 (cbrt.f64 3) (*.f64 y x))

rewrite20.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
28×add-exp-log_binary64
28×pow1_binary64
18×cbrt-unprod_binary64
18×prod-exp_binary64
18×pow-prod-down_binary64
Counts
2 → 53
Calls

2 calls:

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

simplify95.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
535×associate-/r/_binary64
452×fma-def_binary64
405×associate-*r/_binary64
403×sqr-pow_binary64
376×*-commutative_binary64
Counts
101 → 71
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0761055
1159887
2599887
31000887
41297887
51853887
62877887
74165887
85026887

prune56.0ms (3.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New70171
Fresh000
Picked011
Done022
Total70474
Error
0b
Counts
74 → 4
Alt Table
StatusErrorProgram
27.7b
(-.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 3) (*.f64 y x))) (sqrt.f64 (*.f64 (cbrt.f64 3) (*.f64 y x))))) z)
✓0.1b
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓0.1b
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓0.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (*.f64 y x))) z)
Compiler

Compiled 1411 to 1024 computations (27.4% saved)

regimes98.0ms (6%)

Accuracy

Total 0.1b remaining (88.8%)

Threshold costs 0.1b (88.8%)

Counts
15 → 1
Compiler

Compiled 1398 to 1020 computations (27% saved)

simplify3.0ms (0.2%)

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

end8.0ms (0.5%)

Remove

(sort x y)

Compiler

Compiled 30 to 21 computations (30% saved)

sample559.0ms (34%)

Algorithm
1×intervals
Results
234.0ms8000×body128valid
11.0ms324×body128invalid
Compiler

Compiled 87 to 66 computations (24.1% saved)

Profiling

Loading profile data...