Details

Time bar (total: 5.3s)

analyze432.0ms (8.1%)

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
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample19.0ms (0.4%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms15×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify109.0ms (2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
012610
112610

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
2.0b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 y (*.f64 z t))
2.0b
(/.f64 x (-.f64 y (*.f64 z t)))

rewrite48.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
1.9b
Rules
10×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
9×times-frac_binary64_17816
4×add-exp-log_binary64_17848 add-log-exp_binary64_17849 add-cbrt-cube_binary64_17846
3×associate-/l*_binary64_17755 associate-/r*_binary64_17754
2×pow1_binary64_17871 flip3--_binary64_17814 associate-/r/_binary64_17756 flip--_binary64_17785
1×div-exp_binary64_17861 cbrt-undiv_binary64_17844 frac-2neg_binary64_17821 clear-num_binary64_17809 div-inv_binary64_17807 diff-log_binary64_17902 sub-neg_binary64_17803 cancel-sign-sub-inv_binary64_17776
Counts
2 → 41
Calls

2 calls:

5.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
3.0ms
(-.f64 y (*.f64 z t))
Compiler

Compiled 636 to 145 computations (77.2% saved)

series259.0ms (4.8%)

Error
2.0b
Counts
2 → 39
Calls

2 calls:

157.0ms
(/.f64 x (-.f64 y (*.f64 z t)))
84.0ms
(-.f64 y (*.f64 z t))
Compiler

Compiled 992 to 709 computations (28.5% saved)

simplify60.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
051291006

prune55.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New74680
Fresh000
Picked011
Done000
Total74781
Error
1.9b
Counts
81 → 7
Compiler

Compiled 953 to 235 computations (75.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 y (*.f64 t z))
0.4b
(/.f64 1 (-.f64 y (*.f64 t z)))
1.8b
(*.f64 x (/.f64 1 (-.f64 y (*.f64 t z))))

rewrite88.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
1.9b
Rules
26×add-sqr-sqrt_binary64_17832
20×*-un-lft-identity_binary64_17810 times-frac_binary64_17816
19×add-cube-cbrt_binary64_17845
16×add-exp-log_binary64_17848
15×associate-*r*_binary64_17750
10×add-cbrt-cube_binary64_17846
6×pow1_binary64_17871
5×add-log-exp_binary64_17849
4×div-exp_binary64_17861 prod-exp_binary64_17859 associate-/r/_binary64_17756
3×unswap-sqr_binary64_17778 associate-*l*_binary64_17751 flip3--_binary64_17814 flip--_binary64_17785 associate-/l*_binary64_17755 associate-/r*_binary64_17754
2×1-exp_binary64_17854 rec-exp_binary64_17860 cbrt-unprod_binary64_17843 cbrt-undiv_binary64_17844 div-inv_binary64_17807
1×pow-prod-down_binary64_17881 un-div-inv_binary64_17808 associate-*r/_binary64_17752 *-commutative_binary64_17741 inv-pow_binary64_17895 pow-flip_binary64_17884 frac-2neg_binary64_17821 clear-num_binary64_17809 diff-log_binary64_17902 sub-neg_binary64_17803 cancel-sign-sub-inv_binary64_17776
Counts
3 → 83
Calls

3 calls:

9.0ms
(*.f64 x (/.f64 1 (-.f64 y (*.f64 t z))))
5.0ms
(-.f64 y (*.f64 t z))
5.0ms
(/.f64 1 (-.f64 y (*.f64 t z)))
Compiler

Compiled 1456 to 565 computations (61.2% saved)

series378.0ms (7.1%)

Error
1.9b
Counts
3 → 57
Calls

3 calls:

168.0ms
(*.f64 x (/.f64 1 (-.f64 y (*.f64 t z))))
93.0ms
(/.f64 1 (-.f64 y (*.f64 t z)))
86.0ms
(-.f64 y (*.f64 t z))
Compiler

Compiled 1726 to 1327 computations (23.1% saved)

simplify79.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
057111766

prune85.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1400140
Fresh055
Picked011
Done011
Total1407147
Error
1.9b
Counts
147 → 7
Compiler

Compiled 1847 to 597 computations (67.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 y (*.f64 t z))
0.7b
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
2.0b
(/.f64 (-.f64 y (*.f64 t z)) x)

rewrite117.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
1.9b
Rules
84×times-frac_binary64_17816
53×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
16×add-exp-log_binary64_17848 associate-/r*_binary64_17754
10×add-cbrt-cube_binary64_17846
8×div-exp_binary64_17861
6×div-inv_binary64_17807 associate-/l*_binary64_17755
5×add-log-exp_binary64_17849
4×pow1_binary64_17871 cbrt-undiv_binary64_17844
2×frac-2neg_binary64_17821 clear-num_binary64_17809 flip3--_binary64_17814 associate-/l/_binary64_17757 flip--_binary64_17785 1-exp_binary64_17854 rec-exp_binary64_17860
1×div-sub_binary64_17815 inv-pow_binary64_17895 pow-flip_binary64_17884 associate-/r/_binary64_17756 diff-log_binary64_17902 sub-neg_binary64_17803 cancel-sign-sub-inv_binary64_17776
Counts
3 → 118
Calls

3 calls:

7.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
5.0ms
(/.f64 (-.f64 y (*.f64 t z)) x)
3.0ms
(-.f64 y (*.f64 t z))
Compiler

Compiled 2311 to 727 computations (68.5% saved)

series463.0ms (8.7%)

Error
1.9b
Counts
3 → 60
Calls

3 calls:

192.0ms
(/.f64 (-.f64 y (*.f64 t z)) x)
165.0ms
(/.f64 1 (/.f64 (-.f64 y (*.f64 t z)) x))
79.0ms
(-.f64 y (*.f64 t z))
Compiler

Compiled 1596 to 1175 computations (26.4% saved)

simplify104.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049462868
149462868

prune110.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1762178
Fresh224
Picked101
Done022
Total1796185
Error
1.9b
Counts
185 → 6
Compiler

Compiled 2532 to 631 computations (75.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 y (*.f64 t z))
0.4b
(/.f64 1 (-.f64 y (*.f64 t z)))
1.9b
(/.f64 (/.f64 1 (-.f64 y (*.f64 t z))) (/.f64 1 x))

rewrite452.0ms (8.4%)

Algorithm
1×rewrite-expression-head
Error
1.9b
Rules
474×times-frac_binary64_17816
221×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
47×add-exp-log_binary64_17848
34×div-exp_binary64_17861
32×div-inv_binary64_17807
31×associate-/r/_binary64_17756
18×associate-/l*_binary64_17755
17×add-cbrt-cube_binary64_17846
16×flip3--_binary64_17814 flip--_binary64_17785 associate-/r*_binary64_17754
9×1-exp_binary64_17854 rec-exp_binary64_17860 cbrt-undiv_binary64_17844
5×add-log-exp_binary64_17849
4×pow1_binary64_17871
2×frac-2neg_binary64_17821 clear-num_binary64_17809
1×associate-/l/_binary64_17757 inv-pow_binary64_17895 pow-flip_binary64_17884 diff-log_binary64_17902 sub-neg_binary64_17803 cancel-sign-sub-inv_binary64_17776
Counts
3 → 300
Calls

3 calls:

16.0ms
(/.f64 (/.f64 1 (-.f64 y (*.f64 t z))) (/.f64 1 x))
5.0ms
(/.f64 1 (-.f64 y (*.f64 t z)))
3.0ms
(-.f64 y (*.f64 t z))
Compiler

Compiled 7999 to 3949 computations (50.6% saved)

series373.0ms (7%)

Error
1.9b
Counts
3 → 57
Calls

3 calls:

166.0ms
(/.f64 (/.f64 1 (-.f64 y (*.f64 t z))) (/.f64 1 x))
93.0ms
(/.f64 1 (-.f64 y (*.f64 t z)))
82.0ms
(-.f64 y (*.f64 t z))
Compiler

Compiled 1906 to 1507 computations (20.9% saved)

simplify148.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
357 → 357
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
051209025

prune281.0ms (5.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New3570357
Fresh033
Picked011
Done022
Total3576363
Error
1.9b
Counts
363 → 6
Compiler

Compiled 6913 to 2449 computations (64.6% saved)

regimes474.0ms (8.9%)

Accuracy

Total 0.1b remaining (3.3%)

Threshold costs 0.1b (3.3%)

Compiler

Compiled 5246 to 3393 computations (35.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03510
13510

end0.0ms (0%)

sample1.2s (22.1%)

Algorithm
1×intervals
Results
235.0ms8000×body128valid
10.0ms374×body128invalid
Compiler

Compiled 796 to 515 computations (35.3% saved)

Profiling

Loading profile data...