Details

Time bar (total: 4.8s)

analyze1.6s (32.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
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
0%99.5%0.5%13
0.7%98.8%0.5%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.8s (37.6%)

Symmetry

(sort x y)

Results
1.0s8256×body128valid
571.0ms800×body8192exit
98.0ms771×body128invalid
Compiler

Compiled 27 to 17 computations (37% saved)

simplify172.0ms (3.6%)

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

Compiled 62 to 37 computations (40.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

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

simplify118.0ms (2.5%)

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

prune37.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New41950
Fresh101
Picked011
Done000
Total421052
Error
0.0b
Counts
52 → 10
Alt Table
StatusErrorProgram
31.9b
(*.f64 (*.f64 x (/.f64 1 (sqrt.f64 z))) (/.f64 y (sqrt.f64 z)))
19.7b
(expm1.f64 (log1p.f64 (/.f64 (*.f64 y x) z)))
19.8b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
▶6.1b
(/.f64 (*.f64 y x) z)
6.4b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 y) z))
✓6.7b
(*.f64 x (/.f64 y z))
33.9b
(*.f64 (sqrt.f64 (*.f64 x (/.f64 y z))) (sqrt.f64 (*.f64 x (/.f64 y z))))
6.1b
(*.f64 (*.f64 x y) (/.f64 1 z))
36.5b
(*.f64 (*.f64 x (/.f64 (sqrt.f64 y) (sqrt.f64 z))) (/.f64 (sqrt.f64 y) (sqrt.f64 z)))
16.2b
(*.f64 (*.f64 x (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (/.f64 (sqrt.f64 y) (cbrt.f64 z)))
Compiler

Compiled 807 to 318 computations (60.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series12.0ms (0.3%)

Counts
1 → 0
Calls

1 calls:

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

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

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

simplify100.0ms (2.1%)

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

prune22.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New24428
Fresh628
Picked101
Done011
Total31738
Error
0.0b
Counts
38 → 7
Alt Table
StatusErrorProgram
7.9b
(/.f64 y (/.f64 z x))
6.1b
(*.f64 (*.f64 x y) (/.f64 1 z))
▶6.1b
(/.f64 (/.f64 (*.f64 y x) 1) z)
6.4b
(/.f64 1 (/.f64 z (*.f64 y x)))
8.2b
(*.f64 y (/.f64 x z))
19.8b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
✓6.7b
(*.f64 x (/.f64 y z))
Compiler

Compiled 408 to 181 computations (55.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

rewrite9.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
33×times-frac_binary64
17×*-un-lft-identity_binary64
17×add-sqr-sqrt_binary64
17×add-cube-cbrt_binary64
15×add-exp-log_binary64
Counts
1 → 52
Calls

1 calls:

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

simplify192.0ms (4%)

Algorithm
1×egg-herbie
Rules
928×times-frac_binary64
644×div-sub_binary64
473×associate-/l*_binary64
394×sqr-pow_binary64
354×fabs-mul_binary64
Counts
88 → 83
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
094906
1173846
2557846
32388846
42473846
52691846
63263846
74053846
84586846
94931846
104839846
114865846
124676846
134846846

prune45.0ms (0.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New83083
Fresh055
Picked011
Done011
Total83790
Error
0.0b
Counts
90 → 7
Alt Table
StatusErrorProgram
7.9b
(/.f64 y (/.f64 z x))
▶6.1b
(*.f64 (*.f64 x y) (/.f64 1 z))
✓6.1b
(/.f64 (/.f64 (*.f64 y x) 1) z)
6.4b
(/.f64 1 (/.f64 z (*.f64 y x)))
8.2b
(*.f64 y (/.f64 x z))
19.8b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
✓6.7b
(*.f64 x (/.f64 y z))
Compiler

Compiled 1244 to 595 computations (52.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

rewrite9.0ms (0.2%)

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

simplify114.0ms (2.4%)

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

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New57158
Fresh044
Picked011
Done112
Total58765
Error
0b
Counts
65 → 7
Alt Table
StatusErrorProgram
7.9b
(/.f64 y (/.f64 z x))
✓6.1b
(*.f64 (*.f64 x y) (/.f64 1 z))
✓6.1b
(/.f64 (/.f64 (*.f64 y x) 1) z)
6.4b
(/.f64 1 (/.f64 z (*.f64 y x)))
8.2b
(*.f64 y (/.f64 x z))
19.8b
(*.f64 (*.f64 x (sqrt.f64 y)) (/.f64 (sqrt.f64 y) z))
6.7b
(*.f64 x (*.f64 y (/.f64 1 z)))
Compiler

Compiled 806 to 399 computations (50.5% saved)

regimes387.0ms (8.1%)

Accuracy

Total 1.0b remaining (98.7%)

Threshold costs 1.0b (98.7%)

Counts
30 → 5
Compiler

Compiled 3226 to 1906 computations (40.9% saved)

bsearch1.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02371
12571
22571

end89.0ms (1.9%)

Compiler

Compiled 287 to 140 computations (51.2% saved)

Profiling

Loading profile data...