Details

Time bar (total: 3.0s)

analyze438.0ms (14.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
9.4%90.5%0.1%6
14%85.8%0.1%7
22.6%77.2%0.1%8
37.8%60.5%1.7%9
40%56%4%10
47.3%48.7%4%11
56.8%36.2%7%12
58.6%32.4%9%13
63.4%27.5%9%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample109.0ms (3.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
3.0ms35×body128invalid
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify132.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
1119×div-sub_binary64
816×fma-def_binary64
804×fma-neg_binary64
517×neg-mul-1_binary64
483×neg-sub0_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
22710
35710
411110
518010
631210
797710
8316610
9372510
10415010
11478610
12480310
13495810
14538710

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (-.f64 y z))
✓12.0b
(/.f64 (*.f64 x (-.f64 y z)) y)

series23.0ms (0.8%)

Counts
2 → 72
Calls

2 calls:

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

rewrite19.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
22×*-un-lft-identity_binary64
20×add-cube-cbrt_binary64
18×prod-diff_binary64
13×distribute-lft-in_binary64
Counts
2 → 75
Calls

2 calls:

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

simplify96.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
419×fma-neg_binary64
321×div-sub_binary64
313×associate-*l/_binary64
290×associate-/r*_binary64
263×fma-def_binary64
Counts
147 → 108
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01571568
12981439
211581383
337741383
449271383
550981383

prune92.0ms (3.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1008108
Fresh000
Picked101
Done000
Total1018109
Error
0.0b
Counts
109 → 8
Alt Table
StatusErrorProgram
2.4b
(*.f64 x (/.f64 (-.f64 y z) y))
3.8b
(-.f64 x (/.f64 (*.f64 z x) y))
40.2b
(*.f64 (sqrt.f64 (/.f64 (*.f64 x (-.f64 y z)) y)) (sqrt.f64 (/.f64 (*.f64 x (-.f64 y z)) y)))
42.0b
(/.f64 (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) x) 3)) y)
38.4b
(/.f64 (*.f64 (-.f64 y z) (/.f64 x (sqrt.f64 y))) (sqrt.f64 y))
▶2.2b
(/.f64 x (/.f64 y (-.f64 y z)))
12.8b
(*.f64 (*.f64 x (-.f64 y z)) (/.f64 1 y))
12.8b
(/.f64 1 (/.f64 y (*.f64 x (-.f64 y z))))
Compiler

Compiled 1837 to 551 computations (70% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 y (-.f64 y z))
✓2.1b
(/.f64 x (/.f64 y (-.f64 y z)))

series25.0ms (0.8%)

Counts
2 → 60
Calls

2 calls:

16.0ms
(/.f64 x (/.f64 y (-.f64 y z)))
9.0ms
(/.f64 y (-.f64 y z))

rewrite24.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
138×times-frac_binary64
102×*-un-lft-identity_binary64
102×add-sqr-sqrt_binary64
70×add-cube-cbrt_binary64
26×associate-/r*_binary64
Counts
2 → 143
Calls

2 calls:

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

simplify125.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
862×fma-def_binary64
516×associate-/r/_binary64
497×times-frac_binary64
463×associate-/l*_binary64
459×associate-/l/_binary64
Counts
203 → 210
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02483761
15403647
219173540
347513528
453543528

prune115.0ms (3.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2073210
Fresh437
Picked101
Done000
Total2126218
Error
0b
Counts
218 → 6
Alt Table
StatusErrorProgram
2.4b
(*.f64 x (/.f64 (-.f64 y z) y))
3.8b
(-.f64 x (/.f64 (*.f64 z x) y))
10.4b
(*.f64 (/.f64 x y) (-.f64 y z))
12.8b
(*.f64 (*.f64 x (-.f64 y z)) (/.f64 1 y))
2.4b
(/.f64 x (/.f64 1 (-.f64 1 (/.f64 z y))))
▶2.3b
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))
Compiler

Compiled 3671 to 877 computations (76.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 y (-.f64 y z))
✓0.2b
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))
✓2.1b
(/.f64 (/.f64 y (-.f64 y z)) x)

series32.0ms (1.1%)

Counts
2 → 72
Calls

2 calls:

18.0ms
(/.f64 (/.f64 y (-.f64 y z)) x)
13.0ms
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))

rewrite84.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Rules
756×times-frac_binary64
420×*-un-lft-identity_binary64
420×add-sqr-sqrt_binary64
324×add-cube-cbrt_binary64
70×associate-/r*_binary64
Counts
2 → 402
Calls

2 calls:

15.0ms
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))
7.0ms
(/.f64 (/.f64 y (-.f64 y z)) x)

simplify314.0ms (10.5%)

Algorithm
1×egg-herbie
Rules
358×associate-/r/_binary64
340×fma-neg_binary64
279×distribute-rgt-in_binary64
275×associate-/l/_binary64
261×fma-def_binary64
Counts
474 → 535
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
037711753
183010692
2257510455
3444410455
4498810455

prune247.0ms (8.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New5900590
Fresh055
Picked011
Done000
Total5906596
Error
0b
Counts
596 → 6
Alt Table
StatusErrorProgram
▶2.4b
(*.f64 x (/.f64 (-.f64 y z) y))
3.8b
(-.f64 x (/.f64 (*.f64 z x) y))
10.4b
(*.f64 (/.f64 x y) (-.f64 y z))
12.8b
(*.f64 (*.f64 x (-.f64 y z)) (/.f64 1 y))
2.4b
(/.f64 x (/.f64 1 (-.f64 1 (/.f64 z y))))
✓2.3b
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))
Compiler

Compiled 13027 to 3778 computations (71% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 y z) y)
✓2.2b
(*.f64 x (/.f64 (-.f64 y z) y))

series22.0ms (0.7%)

Counts
2 → 60
Calls

2 calls:

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

rewrite18.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
41×add-sqr-sqrt_binary64
36×*-un-lft-identity_binary64
31×times-frac_binary64
22×add-cube-cbrt_binary64
19×associate-*r*_binary64
Counts
2 → 80
Calls

2 calls:

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

simplify102.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
848×fma-def_binary64
513×associate-/r/_binary64
290×associate-*l*_binary64
276×associate-*l/_binary64
268×associate-*r/_binary64
Counts
140 → 115
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01201631
12751534
28711532
326101532
448321532
549771532

prune54.0ms (1.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh044
Picked011
Done011
Total1156121
Error
0b
Counts
121 → 6
Alt Table
StatusErrorProgram
✓2.4b
(*.f64 x (/.f64 (-.f64 y z) y))
3.8b
(-.f64 x (/.f64 (*.f64 z x) y))
10.4b
(*.f64 (/.f64 x y) (-.f64 y z))
12.8b
(*.f64 (*.f64 x (-.f64 y z)) (/.f64 1 y))
2.4b
(/.f64 x (/.f64 1 (-.f64 1 (/.f64 z y))))
✓2.3b
(/.f64 1 (/.f64 (/.f64 y (-.f64 y z)) x))
Compiler

Compiled 1638 to 450 computations (72.5% saved)

regimes237.0ms (7.9%)

Accuracy

Total 2.0b remaining (99.5%)

Threshold costs 0b (0%)

Counts
37 → 3
Compiler

Compiled 1918 to 1142 computations (40.5% saved)

bsearch28.0ms (0.9%)

Steps
ItersRangePoint
11
1.2099114752956002e-188
2.505829581672311e-150
5.036863095834079e-170
1
-3.170362740951856e+67
-7.01886780963743e+63
-4.722883590452615e+65
Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
7×+-commutative_binary64
7×*-commutative_binary64
7×sub-neg_binary64
5×neg-sub0_binary64
5×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01834
12934
24034
35334
46134
56534
66634
76534

end1.0ms (0%)

Compiler

Compiled 26 to 17 computations (34.6% saved)

sample640.0ms (21.3%)

Algorithm
1×intervals
Results
267.0ms8000×body128valid
24.0ms786×body128invalid
Compiler

Compiled 106 to 70 computations (34% saved)

Profiling

Loading profile data...