Details

Time bar (total: 24.2s)

analyze1.5s (6.1%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04942175
14942175
044
144
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%7
0%74.9%25.1%8
0%74.9%25.1%8
6.2%68.6%25.1%9
6.2%68.6%25.1%9
7.8%67.1%25.1%10
7.8%67.1%25.1%10
10.1%64.7%25.1%11
10.1%64.7%25.1%11
14.8%47.6%37.6%12
14.8%47.6%37.6%12
15.8%36.8%47.4%13
15.8%36.8%47.4%13
16.6%35.1%48.3%14
16.6%35.1%48.3%14
Compiler

Compiled 36 to 34 computations (5.6% saved)

sample7.1s (29.5%)

Algorithm
2×intervals
Results
82.0ms1233×body128nan
40.0ms624×body128invalid
29.0ms512×body128valid
Compiler

Compiled 22337 to 26056 computations (-16.6% saved)

simplify168.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (162.0ms)

IterNodesCost
0486425
1486425

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.2b
Counts
2 → 1
Compiler

Compiled 33 to 31 computations (6.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (/.f64 (*.f64 t t) 2))
0.0b
(/.f64 (*.f64 t t) 2)
0.0b
(*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
0.2b
(*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))

rewrite158.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-cbrt-cube_binary64_20915
14×add-exp-log_binary64_20917
13×add-sqr-sqrt_binary64_20901
11×pow1_binary64_20940 add-cube-cbrt_binary64_20914 *-un-lft-identity_binary64_20879
7×associate-*r*_binary64_20819 exp-prod_binary64_20931
6×associate-*l/_binary64_20822 times-frac_binary64_20885
5×prod-exp_binary64_20928 add-log-exp_binary64_20918 cbrt-unprod_binary64_20912
4×pow-prod-down_binary64_20950 associate-*l*_binary64_20820
3×associate-/r*_binary64_20823
2×flip3--_binary64_20883 flip--_binary64_20854 *-commutative_binary64_20810 div-exp_binary64_20930 cbrt-undiv_binary64_20913 div-inv_binary64_20876
1×unswap-sqr_binary64_20847 sqrt-prod_binary64_20895 frac-2neg_binary64_20890 clear-num_binary64_20878 associate-/l*_binary64_20824 exp-sqrt_binary64_20932 rem-exp-log_binary64_20919
Counts
4 → 78
Calls

4 calls:

13.0ms
(*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
9.0ms
(*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
4.0ms
(/.f64 (*.f64 t t) 2)
2.0ms
(exp.f64 (/.f64 (*.f64 t t) 2))
Compiler

Compiled 1964 to 1337 computations (31.9% saved)

series1.3s (5.2%)

Error
0.1b
Counts
4 → 45
Calls

4 calls:

780.0ms
(*.f64 (*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
349.0ms
(*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
34.0ms
(/.f64 (*.f64 t t) 2)
27.0ms
(exp.f64 (/.f64 (*.f64 t t) 2))
Compiler

Compiled 2986 to 2493 computations (16.5% saved)

simplify85.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049682244
149682244

prune180.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1158123
Fresh000
Picked011
Done000
Total1159124
Error
0.0b
Counts
124 → 9
Compiler

Compiled 2813 to 1830 computations (34.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (*.f64 t t) 2)
0.0b
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2)) (exp.f64 (/.f64 (*.f64 t t) 2)))
0.3b
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
0.4b
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))

rewrite201.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×add-cbrt-cube_binary64_20915
22×add-exp-log_binary64_20917
20×pow1_binary64_20940
18×add-sqr-sqrt_binary64_20901
14×add-cube-cbrt_binary64_20914 *-un-lft-identity_binary64_20879
12×associate-*r*_binary64_20819
11×prod-exp_binary64_20928 cbrt-unprod_binary64_20912
10×pow-prod-down_binary64_20950
8×associate-*l*_binary64_20820
7×sqrt-prod_binary64_20895
6×associate-*r/_binary64_20821 associate-*l/_binary64_20822 cancel-sign-sub-inv_binary64_20845
4×add-log-exp_binary64_20918 distribute-rgt-in_binary64_20829 distribute-lft-in_binary64_20828
3×flip3--_binary64_20883 flip--_binary64_20854 *-commutative_binary64_20810 times-frac_binary64_20885 associate-/r*_binary64_20823
2×unswap-sqr_binary64_20847 sub-neg_binary64_20872 div-exp_binary64_20930 cbrt-undiv_binary64_20913
1×frac-2neg_binary64_20890 clear-num_binary64_20878 div-inv_binary64_20876 associate-/l*_binary64_20824
Counts
4 → 99
Calls

4 calls:

17.0ms
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2)) (exp.f64 (/.f64 (*.f64 t t) 2)))
10.0ms
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))
8.0ms
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
4.0ms
(/.f64 (*.f64 t t) 2)
Compiler

Compiled 2650 to 1679 computations (36.6% saved)

series1.5s (6.2%)

Error
0.0b
Counts
4 → 54
Calls

4 calls:

815.0ms
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2)) (exp.f64 (/.f64 (*.f64 t t) 2)))
351.0ms
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))
216.0ms
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
42.0ms
(/.f64 (*.f64 t t) 2)
Compiler

Compiled 3580 to 2918 computations (18.5% saved)

simplify94.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049592875
149592875

prune204.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1503153
Fresh527
Picked101
Done011
Total1566162
Error
0b
Counts
162 → 6
Compiler

Compiled 3410 to 2094 computations (38.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
0.1b
(*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.3b
(*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2)))
0.4b
(*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))))

rewrite351.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
52×pow1_binary64_20940
47×add-exp-log_binary64_20917
36×add-cbrt-cube_binary64_20915
34×pow-prod-down_binary64_20950 prod-exp_binary64_20928 cbrt-unprod_binary64_20912
14×associate-*l/_binary64_20822 associate-*r*_binary64_20819
12×add-sqr-sqrt_binary64_20901
11×add-cube-cbrt_binary64_20914 *-un-lft-identity_binary64_20879 associate-*l*_binary64_20820
6×associate-*r/_binary64_20821 sqrt-prod_binary64_20895 cbrt-prod_binary64_20910
4×add-log-exp_binary64_20918 flip3--_binary64_20883 flip--_binary64_20854 *-commutative_binary64_20810
1×unswap-sqr_binary64_20847
Counts
4 → 108
Calls

4 calls:

25.0ms
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
21.0ms
(*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2)))
15.0ms
(*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))))
12.0ms
(*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
Compiler

Compiled 4214 to 3141 computations (25.5% saved)

series2.7s (11.3%)

Error
0b
Counts
4 → 63
Calls

4 calls:

872.0ms
(*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))))
809.0ms
(*.f64 (*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2))) (exp.f64 (/.f64 (*.f64 t t) 2)))
622.0ms
(*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
347.0ms
(*.f64 (*.f64 (sqrt.f64 z) (*.f64 (-.f64 (*.f64 1/2 x) y) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (sqrt.f64 2)))
Compiler

Compiled 4843 to 4122 computations (14.9% saved)

simplify68.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
054403961

prune259.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1710171
Fresh044
Picked011
Done011
Total1716177
Error
0b
Counts
177 → 6
Compiler

Compiled 4399 to 2994 computations (31.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (*.f64 t t))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t))))
0.3b
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
0.4b
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t)))))

rewrite168.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
25×add-sqr-sqrt_binary64_20901
22×pow1_binary64_20940
20×add-exp-log_binary64_20917 add-cbrt-cube_binary64_20915
14×sqrt-prod_binary64_20895
13×add-cube-cbrt_binary64_20914 *-un-lft-identity_binary64_20879 associate-*l*_binary64_20820
12×pow-prod-down_binary64_20950
10×prod-exp_binary64_20928 cbrt-unprod_binary64_20912 associate-*r*_binary64_20819
6×add-log-exp_binary64_20918 unswap-sqr_binary64_20847 cancel-sign-sub-inv_binary64_20845
4×associate-*r/_binary64_20821 distribute-rgt-in_binary64_20829 distribute-lft-in_binary64_20828
3×*-commutative_binary64_20810
2×flip3--_binary64_20883 associate-*l/_binary64_20822 flip--_binary64_20854 sub-neg_binary64_20872 pow1/2_binary64_20959 sqrt-pow1_binary64_20897
1×sqrt-unprod_binary64_20899 exp-to-pow_binary64_20941 exp-prod_binary64_20931 rem-exp-log_binary64_20919
Counts
4 → 96
Calls

4 calls:

13.0ms
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t)))))
8.0ms
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
8.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t))))
2.0ms
(exp.f64 (*.f64 t t))
Compiler

Compiled 2457 to 1240 computations (49.5% saved)

series1.1s (4.6%)

Error
0b
Counts
4 → 48
Calls

4 calls:

707.0ms
(*.f64 (*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t)))))
226.0ms
(*.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y))
76.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (exp.f64 (*.f64 t t))))
28.0ms
(exp.f64 (*.f64 t t))
Compiler

Compiled 2905 to 2369 computations (18.5% saved)

simplify79.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049852724
149852724

prune174.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1431144
Fresh123
Picked011
Done022
Total1446150
Error
0b
Counts
150 → 6
Compiler

Compiled 3051 to 1568 computations (48.6% saved)

regimes2.1s (8.6%)

Accuracy

Total 0.3b remaining (99.1%)

Threshold costs 0.3b (99.1%)

Compiler

Compiled 22947 to 20768 computations (9.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03226
13226

end0.0ms (0%)

sample4.7s (19.3%)

Algorithm
1×intervals
Results
992.0ms18239×body128nan
542.0ms10104×body128invalid
424.0ms8000×body128valid
Compiler

Compiled 1552 to 1406 computations (9.4% saved)

Profiling

Loading profile data...