Details

Time bar (total: 3.1s)

analyze1.0s (33.5%)

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
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample104.0ms (3.4%)

Algorithm
1×intervals
Symmetry

(sort x y)

Results
10.0ms256×body128valid
2.0ms62×body128invalid
Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify172.0ms (5.5%)

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

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 62 to 37 computations (40.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite8.0ms (0.3%)

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:

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

simplify118.0ms (3.8%)

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

prune43.0ms (1.4%)

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
18.0b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
✓8.0b
(*.f64 x (/.f64 y z))
32.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 y x) z) 3))
▶5.1b
(/.f64 (*.f64 y x) z)
31.8b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
8.7b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 y z)))) (cbrt.f64 (/.f64 y z)))
5.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
32.2b
(*.f64 (/.f64 x (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
8.7b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 y z)))
Compiler

Compiled 767 to 294 computations (61.7% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series20.0ms (0.7%)

Counts
1 → 0
Calls

1 calls:

20.0ms
(/.f64 (*.f64 y x) 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 y x) z)

simplify102.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
1114×div-sub_binary64
994×associate-/r/_binary64
985×fma-neg_binary64
841×fma-def_binary64
355×associate-/l*_binary64
Counts
23 → 28
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051261
1117216
2399216
31584216
41842216
51965216
62373216
73409216
84190216
94557216
104731216

prune20.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New26228
Fresh437
Picked011
Done011
Total30737
Error
0b
Counts
37 → 7
Alt Table
StatusErrorProgram
18.0b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
✓8.0b
(*.f64 x (/.f64 y z))
6.6b
(/.f64 y (/.f64 z x))
✓5.1b
(/.f64 (*.f64 y x) z)
7.0b
(*.f64 y (/.f64 x z))
31.8b
(*.f64 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
▶5.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 403 to 171 computations (57.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite9.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:

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

simplify110.0ms (3.6%)

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

prune32.0ms (1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New57158
Fresh134
Picked011
Done112
Total59665
Error
0b
Counts
65 → 6
Alt Table
StatusErrorProgram
18.0b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
▶6.6b
(/.f64 y (/.f64 z x))
✓5.1b
(/.f64 (*.f64 y x) z)
7.0b
(*.f64 y (/.f64 x z))
8.1b
(*.f64 x (*.f64 y (/.f64 1 z)))
✓5.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 835 to 417 computations (50.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.5b
(/.f64 y (/.f64 z x))

series12.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64
43×*-un-lft-identity_binary64
43×add-sqr-sqrt_binary64
43×add-cube-cbrt_binary64
13×associate-/r*_binary64
Counts
1 → 72
Calls

1 calls:

4.0ms
(/.f64 y (/.f64 z x))

simplify138.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
1089×associate-/r/_binary64
835×fma-def_binary64
611×fma-neg_binary64
460×distribute-rgt-in_binary64
452×div-sub_binary64
Counts
108 → 114
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01491514
13101454
29241451
322121451
423561451
525441451
629551451
738951451
843791451
950311451

prune44.0ms (1.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1140114
Fresh033
Picked011
Done022
Total1146120
Error
0b
Counts
120 → 6
Alt Table
StatusErrorProgram
18.0b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
✓6.6b
(/.f64 y (/.f64 z x))
✓5.1b
(/.f64 (*.f64 y x) z)
7.0b
(*.f64 y (/.f64 x z))
8.1b
(*.f64 x (*.f64 y (/.f64 1 z)))
✓5.2b
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 1596 to 418 computations (73.8% saved)

regimes247.0ms (8%)

Accuracy

Total 2.1b remaining (99.2%)

Threshold costs 0b (0%)

Counts
34 → 1
Compiler

Compiled 3910 to 2236 computations (42.8% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11431
21431

end6.0ms (0.2%)

Remove

(sort x y)

Compiler

Compiled 69 to 36 computations (47.8% saved)

sample815.0ms (26.3%)

Algorithm
1×intervals
Results
351.0ms8000×body128valid
69.0ms1629×body128invalid
Compiler

Compiled 103 to 67 computations (35% saved)

Profiling

Loading profile data...