Details

Time bar (total: 4.0s)

analyze1.1s (26.5%)

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
0%99.9%0.1%7
0%99.9%0.1%8
0%99.1%0.9%9
1.6%96.3%2.1%10
3.9%94%2.1%11
5.1%92%3%12
6.8%88.6%4.6%13
8.9%86.5%4.6%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.3s (32.3%)

Symmetry

(sort x y)

Results
822.0ms8256×body128valid
399.0ms856×body8192exit
44.0ms411×body128invalid
Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2137
3167
4177
5177

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 24 to 15 computations (37.5% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.8b
(/.f64 (*.f64 x y) z)

series12.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

12.0ms
(/.f64 (*.f64 x y) z)

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
3×associate-/r*_binary64
3×*-un-lft-identity_binary64
3×times-frac_binary64
Counts
1 → 23
Calls

1 calls:

3.0ms
(/.f64 (*.f64 x y) z)

simplify122.0ms (3%)

Algorithm
1×egg-herbie
Rules
1034×associate-/r/_binary64
1020×div-sub_binary64
899×associate-/r*_binary64
356×associate-/l*_binary64
354×sub-neg_binary64
Counts
59 → 36
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
053513
1118468
2408468
31644468
41898468
52032468
62452468
73371468
83480468
94398468
104999468
114859468

prune25.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New30636
Fresh000
Picked011
Done000
Total30737
Error
0.0b
Counts
37 → 7
Alt Table
StatusErrorProgram
6.6b
(/.f64 (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
6.3b
(/.f64 x (/.f64 z y))
▶5.9b
(*.f64 (*.f64 x y) (/.f64 1 z))
6.4b
(/.f64 1 (/.f64 z (*.f64 x y)))
6.0b
(*.f64 x (/.f64 y z))
✓5.9b
(/.f64 (*.f64 x y) z)
32.4b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
Compiler

Compiled 479 to 189 computations (60.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 (*.f64 x y) (/.f64 1 z))

series13.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

13.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
23×add-exp-log_binary64
13×associate-*r*_binary64
13×add-cbrt-cube_binary64
12×prod-exp_binary64
9×times-frac_binary64
Counts
1 → 40
Calls

1 calls:

6.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))

simplify109.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
714×times-frac_binary64
499×fabs-mul_binary64
408×pow-sqr_binary64
379×associate-/r*_binary64
375×sqr-pow_binary64
Counts
76 → 58
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
069678
1157600
2507600
31128600
42644600
53000600
63364600
73866600
84570600
94685600
105107600

prune33.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New58058
Fresh055
Picked011
Done011
Total58765
Error
0.0b
Counts
65 → 7
Alt Table
StatusErrorProgram
6.6b
(/.f64 (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
6.3b
(/.f64 x (/.f64 z y))
✓5.9b
(*.f64 (*.f64 x y) (/.f64 1 z))
6.4b
(/.f64 1 (/.f64 z (*.f64 x y)))
▶6.0b
(*.f64 x (/.f64 y z))
✓5.9b
(/.f64 (*.f64 x y) z)
32.4b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
Compiler

Compiled 854 to 422 computations (50.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 x (/.f64 y z))

series13.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

13.0ms
(*.f64 x (/.f64 y z))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
13×associate-*r*_binary64
10×times-frac_binary64
9×*-un-lft-identity_binary64
9×add-cube-cbrt_binary64
Counts
1 → 34
Calls

1 calls:

5.0ms
(*.f64 x (/.f64 y z))

simplify121.0ms (3%)

Algorithm
1×egg-herbie
Rules
736×fabs-mul_binary64
732×sqr-pow_binary64
503×pow-sqr_binary64
384×associate-/l/_binary64
307×unswap-sqr_binary64
Counts
70 → 50
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
072642
1162597
2526597
31312597
42135597
52239597
62445597
72751597
83643597
94500597
104489597
115931597

prune29.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New48250
Fresh044
Picked011
Done112
Total49857
Error
0.0b
Counts
57 → 8
Alt Table
StatusErrorProgram
6.6b
(/.f64 (/.f64 (*.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
6.3b
(/.f64 x (/.f64 z y))
✓5.9b
(*.f64 (*.f64 x y) (/.f64 1 z))
6.4b
(/.f64 1 (/.f64 z (*.f64 x y)))
✓6.0b
(*.f64 x (/.f64 y z))
32.4b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
5.1b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
▶4.9b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))
Compiler

Compiled 711 to 259 computations (63.6% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 (cbrt.f64 y) z)
✓0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓0.6b
(cbrt.f64 y)
✓4.1b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))

series363.0ms (9%)

Counts
4 → 84
Calls

4 calls:

257.0ms
(/.f64 (cbrt.f64 y) z)
39.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
34.0ms
(cbrt.f64 y)
32.0ms
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))

rewrite28.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
49×add-sqr-sqrt_binary64
41×*-un-lft-identity_binary64
41×add-cube-cbrt_binary64
40×cbrt-prod_binary64
36×times-frac_binary64
Counts
4 → 145
Calls

4 calls:

12.0ms
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))
4.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
3.0ms
(/.f64 (cbrt.f64 y) z)
1.0ms
(cbrt.f64 y)

simplify142.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
551×unswap-sqr_binary64
512×times-frac_binary64
338×log-prod_binary64
320×associate-*l*_binary64
269×associate-*r*_binary64
Counts
229 → 205
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01682488
13692149
216422089
331652035
445972035
549332035

prune116.0ms (2.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New2401241
Fresh145
Picked011
Done022
Total2418249
Error
0.0b
Counts
249 → 8
Alt Table
StatusErrorProgram
22.7b
(*.f64 (*.f64 x (cbrt.f64 (*.f64 y y))) (/.f64 (cbrt.f64 y) z))
6.3b
(/.f64 x (/.f64 z y))
✓5.9b
(*.f64 (*.f64 x y) (/.f64 1 z))
6.4b
(/.f64 1 (/.f64 z (*.f64 x y)))
✓6.0b
(*.f64 x (/.f64 y z))
32.4b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
5.1b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
✓4.9b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))
Compiler

Compiled 4313 to 1090 computations (74.7% saved)

regimes255.0ms (6.3%)

Accuracy

Total 1.8b remaining (98.7%)

Threshold costs 0b (0%)

Counts
28 → 4
Compiler

Compiled 2097 to 1197 computations (42.9% saved)

bsearch1.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
1×1-exp_binary64
1×unpow1_binary64
1×if-if-or-not_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02350
12950
22850

end232.0ms (5.7%)

Compiler

Compiled 242 to 134 computations (44.6% saved)

Profiling

Loading profile data...