Details

Time bar (total: 2.5s)

analyze867.0ms (34.4%)

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
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample84.0ms (3.3%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
Compiler

Compiled 47 to 33 computations (29.8% saved)

simplify56.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
508×fma-neg_binary64
504×associate-*l/_binary64
466×div-sub_binary64
450×cancel-sign-sub-inv_binary64
403×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01425
13025
27025
317722
448619
5108719
6253419
7443419
8515619

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 110 to 70 computations (36.4% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓4.1b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
✓4.4b
(/.f64 (*.f64 y t) (*.f64 2 z))

series46.0ms (1.8%)

Counts
2 → 72
Calls

2 calls:

31.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
15.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

rewrite14.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
16×times-frac_binary64
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
Counts
2 → 62
Calls

2 calls:

6.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
4.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

simplify96.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
873×fma-def_binary64
636×associate-*l/_binary64
486×associate-/l/_binary64
282×associate-/r/_binary64
213×times-frac_binary64
Counts
134 → 114
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01752886
14432809
217702787
349202776
456302776

prune74.0ms (2.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1122114
Fresh101
Picked101
Done000
Total1142116
Error
0b
Counts
116 → 2
Alt Table
StatusErrorProgram
27.7b
(-.f64 x (*.f64 -2 (/.f64 z t)))
▶0.6b
(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
Compiler

Compiled 2738 to 1420 computations (48.1% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓3.5b
(*.f64 (/.f64 y 2) (/.f64 t z))
✓4.1b
(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))

series44.0ms (1.7%)

Counts
2 → 72
Calls

2 calls:

30.0ms
(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))
14.0ms
(*.f64 (/.f64 y 2) (/.f64 t z))

rewrite17.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
36×add-sqr-sqrt_binary64
31×times-frac_binary64
24×*-un-lft-identity_binary64
24×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
Counts
2 → 83
Calls

2 calls:

8.0ms
(*.f64 (/.f64 y 2) (/.f64 t z))
3.0ms
(/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z))))

simplify105.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
899×times-frac_binary64
405×associate-/l/_binary64
192×fma-def_binary64
144×associate-/l*_binary64
142×associate-*l/_binary64
Counts
155 → 154
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02173106
15743031
219213007
348433007
449573007

prune88.0ms (3.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1540154
Fresh011
Picked011
Done000
Total1542156
Error
0b
Counts
156 → 2
Alt Table
StatusErrorProgram
▶27.7b
(-.f64 x (*.f64 -2 (/.f64 z t)))
✓0.6b
(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
Compiler

Compiled 3501 to 1755 computations (49.9% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 -2 (/.f64 z t)))

series10.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

10.0ms
(-.f64 x (*.f64 -2 (/.f64 z t)))

rewrite3.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
3×fma-neg_binary64
3×*-un-lft-identity_binary64
3×add-sqr-sqrt_binary64
3×prod-diff_binary64
Counts
1 → 20
Calls

1 calls:

3.0ms
(-.f64 x (*.f64 -2 (/.f64 z t)))

simplify51.0ms (2%)

Algorithm
1×egg-herbie
Rules
558×times-frac_binary64
553×fma-def_binary64
547×associate-*l/_binary64
475×associate-*r/_binary64
285×associate-/l*_binary64
Counts
56 → 38
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
047554
1118504
2342484
31298484
44335484
55044484

prune18.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh000
Picked011
Done011
Total38240
Error
0b
Counts
40 → 2
Alt Table
StatusErrorProgram
✓27.7b
(-.f64 x (*.f64 -2 (/.f64 z t)))
✓0.6b
(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 y 2) (/.f64 t z)))))
Compiler

Compiled 530 to 258 computations (51.3% saved)

regimes124.0ms (4.9%)

Accuracy

Total 1.1b remaining (99%)

Threshold costs 0b (0%)

Counts
17 → 1
Compiler

Compiled 2356 to 1528 computations (35.1% saved)

simplify5.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12019
23619
34819
45719
56119
66219
76219

end1.0ms (0%)

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample792.0ms (31.4%)

Algorithm
1×intervals
Results
478.0ms8000×body128valid
Compiler

Compiled 71 to 49 computations (31% saved)

Profiling

Loading profile data...