Details

Time bar (total: 5.7s)

analyze327.0ms (5.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
25%74.9%0.2%5
25%74.9%0.2%6
25%74.9%0.2%7
37.4%62.4%0.2%8
56.1%43.7%0.2%9
56.1%43.7%0.2%10
56.1%43.7%0.2%11
65.5%34.3%0.2%12
76.4%23.4%0.2%13
76.4%23.4%0.2%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample838.0ms (14.8%)

Infinites
15.9% of outputs are infinite.
Symmetry

(sort x y)

Results
730.0ms8256×body128valid
Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify168.0ms (3%)

Algorithm
1×egg-herbie
Rules
1483×associate-/l/_binary64
1068×associate-/l*_binary64
1015×associate-/r/_binary64
675×*-commutative_binary64
404×sqr-pow_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0913
11710
2417
3917
43667
512287
612127
712257
812387
912457
1012527
1112597
1212667
1312737
1412807
1512877
1612947
1713017
1813087
1913157
2013227
2130327
2227537
2327817
2428337
2529777
2630747
2734947
2837437
2940337
3044737
3150287

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
4.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶4.5b
(*.f64 x (/.f64 y z))
11.7b
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Compiler

Compiled 62 to 37 computations (40.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

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

rewrite6.0ms (0.1%)

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

simplify109.0ms (1.9%)

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

prune38.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New42850
Fresh101
Picked011
Done000
Total43952
Error
0.0b
Counts
52 → 9
Alt Table
StatusErrorProgram
5.2b
(*.f64 (*.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) (cbrt.f64 (*.f64 x (/.f64 y z)))) (cbrt.f64 (*.f64 x (/.f64 y z))))
✓4.5b
(*.f64 x (/.f64 y z))
5.6b
(/.f64 (*.f64 y x) z)
3.5b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
5.7b
(*.f64 (*.f64 x y) (/.f64 1 z))
25.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) z) 3))
▶3.5b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
15.4b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
29.4b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
Compiler

Compiled 785 to 300 computations (61.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series184.0ms (3.2%)

Counts
4 → 72
Calls

4 calls:

65.0ms
(/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
43.0ms
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
39.0ms
(cbrt.f64 z)
36.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))

rewrite37.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
81×add-exp-log_binary64
40×prod-exp_binary64
36×add-sqr-sqrt_binary64
31×add-cbrt-cube_binary64
28×cbrt-prod_binary64
Counts
4 → 156
Calls

4 calls:

13.0ms
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
5.0ms
(/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
4.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms
(cbrt.f64 z)

simplify136.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
540×associate-/r/_binary64
464×associate-/l/_binary64
419×unswap-sqr_binary64
320×fma-neg_binary64
281×associate-*l*_binary64
Counts
228 → 220
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01943159
14222008
218001909
334621837
447611837
549901837
649701837

prune184.0ms (3.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New2542256
Fresh257
Picked011
Done011
Total2569265
Error
0b
Counts
265 → 9
Alt Table
StatusErrorProgram
3.7b
(*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (*.f64 (cbrt.f64 (/.f64 y (cbrt.f64 z))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))
✓4.5b
(*.f64 x (/.f64 y z))
5.6b
(/.f64 (*.f64 y x) z)
3.5b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
25.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) z) 3))
✓3.5b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
15.4b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
29.4b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
▶3.1b
(*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1)) (/.f64 (cbrt.f64 y) (cbrt.f64 z)))
Compiler

Compiled 5034 to 1906 computations (62.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b
(cbrt.f64 z)
✓0.6b
(cbrt.f64 y)
✓2.7b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1))

series1.5s (27.1%)

Counts
2 → 48
Calls

2 calls:

1.5s
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1))
58.0ms
(cbrt.f64 y)

rewrite33.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
174×add-exp-log_binary64
106×prod-exp_binary64
52×div-exp_binary64
42×add-cbrt-cube_binary64
28×cbrt-unprod_binary64
Counts
2 → 90
Calls

2 calls:

16.0ms
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1))
1.0ms
(cbrt.f64 y)

simplify93.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
709×fma-def_binary64
582×associate-/l*_binary64
384×fma-neg_binary64
379×log-div_binary64
364×*-commutative_binary64
Counts
138 → 122
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01843084
13812250
212032070
339472070
450742070

prune215.0ms (3.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New2710271
Fresh066
Picked011
Done022
Total2719280
Error
0b
Counts
280 → 9
Alt Table
StatusErrorProgram
3.7b
(*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (*.f64 (cbrt.f64 (/.f64 y (cbrt.f64 z))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))
✓4.5b
(*.f64 x (/.f64 y z))
5.6b
(/.f64 (*.f64 y x) z)
▶3.5b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
25.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) z) 3))
✓3.5b
(*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 y (cbrt.f64 z)))
15.4b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
29.4b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
✓3.1b
(*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1)) (/.f64 (cbrt.f64 y) (cbrt.f64 z)))
Compiler

Compiled 7858 to 2890 computations (63.2% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 y (cbrt.f64 z))
0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b
(cbrt.f64 z)
✓2.9b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

series317.0ms (5.6%)

Counts
2 → 60
Calls

2 calls:

273.0ms
(/.f64 y (cbrt.f64 z))
43.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite56.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
48×add-sqr-sqrt_binary64
46×times-frac_binary64
32×*-un-lft-identity_binary64
32×add-cube-cbrt_binary64
25×add-exp-log_binary64
Counts
2 → 102
Calls

2 calls:

46.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
2.0ms
(/.f64 y (cbrt.f64 z))

simplify144.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
579×times-frac_binary64
538×associate-/r/_binary64
465×associate-/l/_binary64
344×fma-neg_binary64
312×fma-def_binary64
Counts
162 → 152
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01572690
13822115
214432108
330432108
439742026
546232026
649702026
749242026

prune173.0ms (3.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New2641265
Fresh145
Picked011
Done123
Total2668274
Error
0b
Counts
274 → 8
Alt Table
StatusErrorProgram
5.6b
(/.f64 (*.f64 y x) z)
✓3.5b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
✓4.5b
(*.f64 x (/.f64 y z))
25.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) z) 3))
15.4b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
29.4b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
3.7b
(*.f64 (*.f64 (/.f64 x (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 (/.f64 y (cbrt.f64 z))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))) (cbrt.f64 (/.f64 y (cbrt.f64 z))))
✓3.1b
(*.f64 (*.f64 (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1)) (/.f64 (cbrt.f64 y) (cbrt.f64 z)))
Compiler

Compiled 4921 to 1213 computations (75.4% saved)

regimes768.0ms (13.6%)

Accuracy

Total 1.6b remaining (97.8%)

Threshold costs 0b (0%)

Counts
98 → 1
Compiler

Compiled 15050 to 8507 computations (43.5% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11431
21431

end248.0ms (4.4%)

Compiler

Compiled 221 to 123 computations (44.3% saved)

Profiling

Loading profile data...