Details

Time bar (total: 6.9min)

analyze1.5s (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
24.9%74.7%0.4%8
24.9%74.7%0.4%9
24.9%74.7%0.4%10
25.7%73.9%0.4%11
25.7%73.9%0.4%12
25.7%73.9%0.4%13
25.7%73.9%0.4%14
Compiler

Compiled 32 to 29 computations (9.4% saved)

sample50.0ms (0%)

Algorithm
1×intervals
Results
28.0ms256×body128valid
Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify178.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
0496944
1496944

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 29 to 26 computations (10.3% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
0.0b
(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
0.0b
(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
0.0b
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite73.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
119×*-un-lft-identity_binary64_2806
54×times-frac_binary64_2812
53×add-sqr-sqrt_binary64_2828
37×add-cube-cbrt_binary64_2841
36×distribute-lft-out--_binary64_2758
17×distribute-lft-out_binary64_2757 associate-/l*_binary64_2751
10×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 associate-/r*_binary64_2750
8×difference-of-squares_binary64_2775
6×add-log-exp_binary64_2845
4×associate-/l/_binary64_2753 pow1_binary64_2867
3×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 clear-num_binary64_2805 frac-2neg_binary64_2817
2×flip3--_binary64_2810 div-sub_binary64_2811 flip-+_binary64_2780 flip--_binary64_2781 flip3-+_binary64_2809 associate-/r/_binary64_2752
1×sum-log_binary64_2897 +-commutative_binary64_2736
Counts
4 → 137
Calls

8 calls:

16.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
16.0ms
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
13.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
13.0ms
(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series1.9s (0.5%)

Counts
4 → 109
Calls

4 calls:

1.0s
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
384.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
269.0ms
(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
267.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
Compiler

Compiled 8022 to 6121 computations (23.7% saved)

simplify87.0ms (0%)

Algorithm
1×egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
053657247

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
0.0b
(+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
0.0b
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

rewrite96.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
212×*-un-lft-identity_binary64_2806
93×times-frac_binary64_2812
74×add-sqr-sqrt_binary64_2828
58×add-cube-cbrt_binary64_2841
53×distribute-lft-out_binary64_2757
48×distribute-lft-out--_binary64_2758
40×distribute-rgt-neg-in_binary64_2764
30×associate-/l*_binary64_2751
28×distribute-lft-neg-in_binary64_2763
10×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 associate-/r*_binary64_2750
8×difference-of-squares_binary64_2775
6×add-log-exp_binary64_2845
4×associate-/l/_binary64_2753 neg-mul-1_binary64_2802 pow1_binary64_2867
3×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 div-sub_binary64_2811 flip-+_binary64_2780 flip3-+_binary64_2809 clear-num_binary64_2805 frac-2neg_binary64_2817
2×neg-sub0_binary64_2801 distribute-neg-frac_binary64_2770 associate-/r/_binary64_2752
1×flip3--_binary64_2810 unsub-neg_binary64_2800 associate-+r-_binary64_2740 distribute-frac-neg_binary64_2769 sum-log_binary64_2897 flip--_binary64_2781 +-commutative_binary64_2736
Counts
4 → 191
Calls

8 calls:

19.0ms
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
19.0ms
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
18.0ms
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
15.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.0ms
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))

series1.9s (0.4%)

Counts
4 → 109
Calls

4 calls:

953.0ms
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
383.0ms
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
275.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
260.0ms
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
Compiler

Compiled 8153 to 6271 computations (23.1% saved)

simplify129.0ms (0%)

Algorithm
1×egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049778714
149778714

prune5.1s (1.2%)

Pruning

157 alts after pruning (155 fresh and 2 done)

PrunedKeptTotal
New391155546
Fresh000
Picked000
Done022
Total391157548
Error
0b
Counts
548 → 157
Compiler

Compiled 22293 to 9463 computations (57.6% saved)

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b
(+.f64 1 (exp.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))) (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 KbT)))))
0.5b
(cbrt.f64 KbT)
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))

rewrite41.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
35×*-un-lft-identity_binary64_2806
24×cbrt-prod_binary64_2837
14×add-sqr-sqrt_binary64_2828
9×distribute-lft-out_binary64_2757 distribute-lft-out--_binary64_2758
8×add-cube-cbrt_binary64_2841
6×cbrt-div_binary64_2838
4×add-exp-log_binary64_2844 pow1/3_binary64_2888 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 pow1_binary64_2867
3×flip3--_binary64_2810 flip--_binary64_2781 difference-of-squares_binary64_2775
Counts
4 → 62
Calls

8 calls:

12.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
1.0ms
(cbrt.f64 KbT)
0.0ms
(+.f64 1 (exp.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))) (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 KbT)))))

series1.1s (0.3%)

Counts
4 → 60
Calls

4 calls:

335.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
333.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
332.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
82.0ms
(cbrt.f64 KbT)
Compiler

Compiled 8185 to 5890 computations (28% saved)

simplify66.0ms (0%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051441974

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite30.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
52×*-un-lft-identity_binary64_2806
22×add-sqr-sqrt_binary64_2828
21×times-frac_binary64_2812
14×add-cube-cbrt_binary64_2841
13×distribute-lft-out_binary64_2757
12×distribute-lft-out--_binary64_2758
7×associate-/l*_binary64_2751
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 difference-of-squares_binary64_2775
3×associate-/r*_binary64_2750
2×associate-/l/_binary64_2753 pow1_binary64_2867
1×div-inv_binary64_2803 div-exp_binary64_2857 flip3--_binary64_2810 cbrt-undiv_binary64_2840 div-sub_binary64_2811 flip-+_binary64_2780 sum-log_binary64_2897 flip--_binary64_2781 flip3-+_binary64_2809 clear-num_binary64_2805 frac-2neg_binary64_2817 +-commutative_binary64_2736
Counts
2 → 58
Calls

4 calls:

12.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series638.0ms (0.2%)

Counts
2 → 56
Calls

2 calls:

372.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
266.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
Compiler

Compiled 2853 to 2496 computations (12.5% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
051453616

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT)
0.0b
(exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))
0.0b
(exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b
(/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)
0.0b
(/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT))))
0.0b
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.4b
(+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT)))

rewrite83.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
118×*-un-lft-identity_binary64_2806
54×times-frac_binary64_2812
53×add-sqr-sqrt_binary64_2828
37×add-cube-cbrt_binary64_2841
31×distribute-lft-out_binary64_2757
20×distribute-lft-out--_binary64_2758
16×associate-/l*_binary64_2751
11×associate-/r*_binary64_2750
10×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
9×add-log-exp_binary64_2845
8×difference-of-squares_binary64_2775
6×div-sub_binary64_2811
4×associate-/l/_binary64_2753 flip-+_binary64_2780 frac-add_binary64_2814 flip3-+_binary64_2809 associate-/r/_binary64_2752 pow1_binary64_2867 exp-diff_binary64_2854
3×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 sum-log_binary64_2897 clear-num_binary64_2805 frac-2neg_binary64_2817
2×flip3--_binary64_2810 flip--_binary64_2781
1×associate-+r+_binary64_2738 +-commutative_binary64_2736
Counts
4 → 144
Calls

8 calls:

19.0ms
(/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT))))
19.0ms
(+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT)))
12.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
9.0ms
(/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)
0.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series3.2s (0.8%)

Counts
4 → 105
Calls

4 calls:

2.0s
(/.f64 NdChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT))))
700.0ms
(+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)) (+.f64 1 (/.f64 (*.f64 mu (exp.f64 (/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT))) KbT)))
288.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
195.0ms
(/.f64 (-.f64 (+.f64 Vef EDonor) Ec) KbT)
Compiler

Compiled 10711 to 6493 computations (39.4% saved)

simplify111.0ms (0%)

Algorithm
1×egg-herbie
Counts
249 → 249
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
053039582

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT)
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.0b
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.4b
(+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT)))))
0.7b
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
14.9b
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))

rewrite138.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
109×*-un-lft-identity_binary64_2806
53×distribute-lft-out_binary64_2757
40×times-frac_binary64_2812
29×add-cbrt-cube_binary64_2842
27×add-sqr-sqrt_binary64_2828 add-exp-log_binary64_2844 add-cube-cbrt_binary64_2841
13×add-log-exp_binary64_2845 associate-/l*_binary64_2751
12×frac-add_binary64_2814 distribute-rgt-neg-in_binary64_2764
9×prod-exp_binary64_2855 cbrt-unprod_binary64_2839
8×div-exp_binary64_2857 cbrt-undiv_binary64_2840 associate-/r*_binary64_2750
7×flip-+_binary64_2780 flip3-+_binary64_2809
6×sum-log_binary64_2897 associate-*r/_binary64_2748 associate-/r/_binary64_2752
4×pow1_binary64_2867
3×associate-/l/_binary64_2753 div-inv_binary64_2803 div-sub_binary64_2811 clear-num_binary64_2805 frac-2neg_binary64_2817
1×neg-sub0_binary64_2801 associate-+r+_binary64_2738 unsub-neg_binary64_2800 associate-+r-_binary64_2740 exp-diff_binary64_2854 +-commutative_binary64_2736
Counts
4 → 137
Calls

8 calls:

41.0ms
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
33.0ms
(+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT)))))
21.0ms
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))
15.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.0ms
(-.f64 (+.f64 Vef mu) Ec)

series6.3s (1.5%)

Counts
4 → 102
Calls

4 calls:

4.1s
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
1.2s
(+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT)))))
590.0ms
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))
309.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
Compiler

Compiled 15207 to 9021 computations (40.7% saved)

simplify143.0ms (0%)

Algorithm
1×egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0551914211

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
0.0b
(sqrt.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu))
0.0b
(sqrt.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu))
0.0b
(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.5b
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
0.5b
(cbrt.f64 KbT)
0.5b
(cbrt.f64 KbT)
0.5b
(cbrt.f64 KbT)

rewrite22.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_2837
23×add-sqr-sqrt_binary64_2828
15×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
11×pow1_binary64_2867
9×pow1/3_binary64_2888
6×associate-*l*_binary64_2747 add-exp-log_binary64_2844 swap-sqr_binary64_2773 associate-*r*_binary64_2746
4×add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 unswap-sqr_binary64_2774
2×pow-sqr_binary64_2779 pow-prod-up_binary64_2876 pow-prod-down_binary64_2877
1×*-commutative_binary64_2737 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow2_binary64_2887 pow-plus_binary64_2869
Counts
4 → 73
Calls

8 calls:

7.0ms
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
1.0ms
(cbrt.f64 KbT)
1.0ms
(cbrt.f64 KbT)
1.0ms
(cbrt.f64 KbT)
0.0ms
(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series340.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

98.0ms
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
86.0ms
(cbrt.f64 KbT)
79.0ms
(cbrt.f64 KbT)
76.0ms
(cbrt.f64 KbT)
Compiler

Compiled 1162 to 838 computations (27.9% saved)

simplify91.0ms (0%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
04873548
14873548

prune26.2s (6.3%)

Pruning

399 alts after pruning (392 fresh and 7 done)

PrunedKeptTotal
New560249809
Fresh7143150
Picked000
Done077
Total567399966
Error
0b
Counts
966 → 399
Compiler

Compiled 59019 to 23320 computations (60.5% saved)

localize39.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
0.0b
(+.f64 1 (exp.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))) (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 KbT)) (cbrt.f64 (cbrt.f64 KbT))) (cbrt.f64 (cbrt.f64 KbT)))))))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.5b
(cbrt.f64 (cbrt.f64 KbT))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))

rewrite43.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_2806
30×cbrt-prod_binary64_2837
15×add-sqr-sqrt_binary64_2828
9×distribute-lft-out_binary64_2757 distribute-lft-out--_binary64_2758 add-cube-cbrt_binary64_2841
6×cbrt-div_binary64_2838
4×add-exp-log_binary64_2844 pow1/3_binary64_2888 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 pow1_binary64_2867
3×flip3--_binary64_2810 flip--_binary64_2781 difference-of-squares_binary64_2775
Counts
4 → 65
Calls

8 calls:

11.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
2.0ms
(cbrt.f64 (cbrt.f64 KbT))
0.0ms
(+.f64 1 (exp.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))) (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 KbT)) (cbrt.f64 (cbrt.f64 KbT))) (cbrt.f64 (cbrt.f64 KbT)))))))

series1.1s (0.3%)

Counts
4 → 60
Calls

4 calls:

342.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
338.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
332.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
105.0ms
(cbrt.f64 (cbrt.f64 KbT))
Compiler

Compiled 9074 to 6191 computations (31.8% saved)

simplify66.0ms (0%)

Algorithm
1×egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050732052

localize5.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
0.0b
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.1b
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
0.1b
(/.f64 (sqrt.f64 NdChar) (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar)))

rewrite139.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
387×times-frac_binary64_2812
370×*-un-lft-identity_binary64_2806
198×add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_2841
186×sqrt-prod_binary64_2822
98×distribute-lft-out_binary64_2757
37×associate-/r*_binary64_2750
19×associate-/l*_binary64_2751
13×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
12×distribute-rgt-neg-in_binary64_2764
10×div-inv_binary64_2803
6×add-log-exp_binary64_2845
5×div-exp_binary64_2857 cbrt-undiv_binary64_2840
4×associate-/l/_binary64_2753 pow1_binary64_2867
3×flip-+_binary64_2780 flip3-+_binary64_2809 clear-num_binary64_2805 frac-2neg_binary64_2817
2×div-sub_binary64_2811
1×neg-sub0_binary64_2801 unsub-neg_binary64_2800 associate-+r-_binary64_2740 sum-log_binary64_2897 associate-/r/_binary64_2752 +-commutative_binary64_2736
Counts
4 → 332
Calls

8 calls:

30.0ms
(/.f64 (sqrt.f64 NdChar) (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar)))
19.0ms
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
16.0ms
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
15.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.0ms
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))

series2.3s (0.6%)

Counts
4 → 112
Calls

4 calls:

928.0ms
(/.f64 (sqrt.f64 NdChar) (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar)))
751.0ms
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
399.0ms
(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
268.0ms
(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
Compiler

Compiled 10599 to 7942 computations (25.1% saved)

simplify234.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
444 → 444
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0510221314

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)))
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)) (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))))))
0.0b
(+.f64 1 (exp.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)) (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)))))
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.1b
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
0.1b
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
0.1b
(*.f64 (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)) (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)))

rewrite286.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
1178×*-un-lft-identity_binary64_2806
860×sqrt-prod_binary64_2822
685×times-frac_binary64_2812
594×add-sqr-sqrt_binary64_2828
552×distribute-lft-out--_binary64_2758
284×add-cube-cbrt_binary64_2841
196×swap-sqr_binary64_2773
64×associate-*l*_binary64_2747 associate-*r*_binary64_2746
46×difference-of-squares_binary64_2775
27×associate-/l*_binary64_2751
25×unswap-sqr_binary64_2774
22×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
15×associate-/r*_binary64_2750
12×distribute-lft-out_binary64_2757
11×pow1_binary64_2867
7×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840
6×associate-/l/_binary64_2753 sqrt-undiv_binary64_2827
4×sqrt-div_binary64_2823 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845
3×flip3--_binary64_2810 flip--_binary64_2781 clear-num_binary64_2805 frac-2neg_binary64_2817
1×frac-times_binary64_2816 pow-sqr_binary64_2779 *-commutative_binary64_2737 div-sub_binary64_2811 pow-prod-up_binary64_2876 sqrt-unprod_binary64_2826 rem-square-sqrt_binary64_2818 pow2_binary64_2887 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 associate-*l/_binary64_2749 pow-plus_binary64_2869
Counts
4 → 603
Calls

8 calls:

98.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)) (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)))
15.0ms
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
14.0ms
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
12.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series1.1s (0.3%)

Counts
4 → 88
Calls

4 calls:

295.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)) (/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT)))
277.0ms
(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
248.0ms
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
230.0ms
(/.f64 (sqrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (sqrt.f64 KbT))
Compiler

Compiled 7070 to 5325 computations (24.7% saved)

simplify246.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
691 → 691
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0552820871

localize49.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (-.f64 mu Ec) KbT)
0.0b
(/.f64 (-.f64 mu Ec) KbT)
0.0b
(/.f64 (-.f64 mu Ec) KbT)
0.0b
(/.f64 (*.f64 Vef (exp.f64 (/.f64 (-.f64 mu Ec) KbT))) KbT)
8.6b
(*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor)))
13.1b
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 EDonor Vef)) (*.f64 KbT KbT))
14.8b
(/.f64 (*.f64 (*.f64 EDonor EDonor) (exp.f64 (/.f64 (-.f64 mu Ec) KbT))) (*.f64 KbT KbT))
16.1b
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor))) (pow.f64 KbT 3))

rewrite127.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
73×add-exp-log_binary64_2844
69×add-cbrt-cube_binary64_2842
42×prod-exp_binary64_2855
30×cbrt-unprod_binary64_2839
24×div-exp_binary64_2857
16×cbrt-undiv_binary64_2840
14×times-frac_binary64_2812 associate-/r*_binary64_2750
13×pow1_binary64_2867
11×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
6×cube-prod_binary64_2834 unpow-prod-down_binary64_2885 pow-prod-down_binary64_2877
4×pow-exp_binary64_2874 div-sub_binary64_2811 pow-to-exp_binary64_2875 add-log-exp_binary64_2845 exp-diff_binary64_2854
3×associate-*l*_binary64_2747 associate-/l/_binary64_2753 div-inv_binary64_2803 clear-num_binary64_2805 associate-/l*_binary64_2751 associate-*l/_binary64_2749 frac-2neg_binary64_2817
2×unpow3_binary64_2872 sqr-pow_binary64_2778 cube-mult_binary64_2836
1×*-commutative_binary64_2737 associate-*r*_binary64_2746 associate-*r/_binary64_2748
Counts
4 → 126
Calls

8 calls:

27.0ms
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor))) (pow.f64 KbT 3))
23.0ms
(/.f64 (*.f64 (*.f64 EDonor EDonor) (exp.f64 (/.f64 (-.f64 mu Ec) KbT))) (*.f64 KbT KbT))
20.0ms
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 EDonor Vef)) (*.f64 KbT KbT))
20.0ms
(*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor)))
0.0ms
(/.f64 (*.f64 Vef (exp.f64 (/.f64 (-.f64 mu Ec) KbT))) KbT)

series1.6s (0.4%)

Counts
4 → 57
Calls

4 calls:

520.0ms
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor))) (pow.f64 KbT 3))
432.0ms
(/.f64 (*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 EDonor Vef)) (*.f64 KbT KbT))
323.0ms
(*.f64 (exp.f64 (/.f64 (-.f64 mu Ec) KbT)) (*.f64 Vef (*.f64 EDonor EDonor)))
295.0ms
(/.f64 (*.f64 (*.f64 EDonor EDonor) (exp.f64 (/.f64 (-.f64 mu Ec) KbT))) (*.f64 KbT KbT))
Compiler

Compiled 11474 to 6230 computations (45.7% saved)

simplify100.0ms (0%)

Algorithm
1×egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
050513907

prune1.2min (16.7%)

Pruning

661 alts after pruning (650 fresh and 11 done)

PrunedKeptTotal
New11652781443
Fresh15372387
Picked000
Done11112
Total11816611842
Error
0b
Counts
1842 → 661
Compiler

Compiled 85108 to 35579 computations (58.2% saved)

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
0.0b
(+.f64 1 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))) (/.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) KbT))))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.5b
(*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.6b
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))

rewrite75.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
138×*-un-lft-identity_binary64_2806
77×cbrt-prod_binary64_2837
39×distribute-lft-out_binary64_2757 distribute-lft-out--_binary64_2758
37×add-sqr-sqrt_binary64_2828
22×swap-sqr_binary64_2773
18×cbrt-div_binary64_2838
15×add-cube-cbrt_binary64_2841
11×pow1_binary64_2867
10×associate-*l*_binary64_2747 associate-*r*_binary64_2746
9×pow1/3_binary64_2888 flip3--_binary64_2810 flip--_binary64_2781
7×difference-of-squares_binary64_2775
6×add-exp-log_binary64_2844
4×frac-times_binary64_2816 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 unswap-sqr_binary64_2774
2×pow-sqr_binary64_2779 pow-prod-up_binary64_2876 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 associate-*l/_binary64_2749
1×*-commutative_binary64_2737 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow2_binary64_2887 pow-plus_binary64_2869
Counts
4 → 123
Calls

8 calls:

26.0ms
(*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)))
11.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
9.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
0.0ms
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))

series1.9s (0.4%)

Counts
4 → 80
Calls

4 calls:

877.0ms
(*.f64 (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)) (cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu)))
330.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
323.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
323.0ms
(cbrt.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu))
Compiler

Compiled 10601 to 8101 computations (23.6% saved)

simplify78.0ms (0%)

Algorithm
1×egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
049964455
149964455

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

1.8b
(+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2))
0.0b
(/.f64 (-.f64 EAccept mu) KbT)
0.0b
(+.f64 (*.f64 NdChar 1/2) (/.f64 NaChar (+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT))))
0.0b
(+.f64 (/.f64 Vef KbT) 2)
0.0b
(/.f64 (-.f64 EAccept mu) KbT)
1.8b
(+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2))
3.0b
(+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT))
4.0b
(/.f64 NaChar (+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT)))

rewrite88.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
83×*-un-lft-identity_binary64_2806
33×add-sqr-sqrt_binary64_2828 times-frac_binary64_2812 distribute-lft-out_binary64_2757
25×add-cube-cbrt_binary64_2841
18×add-log-exp_binary64_2845
14×frac-add_binary64_2814
9×associate-/r*_binary64_2750 sum-log_binary64_2897
8×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 flip-+_binary64_2780 flip3-+_binary64_2809 associate-/l*_binary64_2751
6×associate-/r/_binary64_2752
4×distribute-lft-out--_binary64_2758 difference-of-squares_binary64_2775 pow1_binary64_2867
2×associate-/l/_binary64_2753 div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 div-sub_binary64_2811 clear-num_binary64_2805 frac-2neg_binary64_2817 +-commutative_binary64_2736
1×flip3--_binary64_2810 associate-+r+_binary64_2738 associate-+l+_binary64_2739 associate-+r-_binary64_2740 flip--_binary64_2781
Counts
4 → 122
Calls

8 calls:

30.0ms
(/.f64 NaChar (+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT)))
25.0ms
(+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT))
15.0ms
(+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2))
6.0ms
(/.f64 (-.f64 EAccept mu) KbT)
0.0ms
(+.f64 (*.f64 NdChar 1/2) (/.f64 NaChar (+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT))))

series1.5s (0.4%)

Counts
4 → 95
Calls

4 calls:

809.0ms
(/.f64 NaChar (+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT)))
442.0ms
(+.f64 (+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2)) (/.f64 (-.f64 EAccept mu) KbT))
139.0ms
(+.f64 (/.f64 Ev KbT) (+.f64 (/.f64 Vef KbT) 2))
118.0ms
(/.f64 (-.f64 EAccept mu) KbT)
Compiler

Compiled 5176 to 4360 computations (15.8% saved)

simplify112.0ms (0%)

Algorithm
1×egg-herbie
Counts
217 → 217
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049685203
149685203

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 1 (exp.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) (cbrt.f64 KbT)))))
0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) (cbrt.f64 KbT))))))
0.0b
(exp.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) (cbrt.f64 KbT))))
0.0b
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.5b
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
0.5b
(cbrt.f64 KbT)
0.5b
(cbrt.f64 KbT)
0.5b
(cbrt.f64 KbT)

rewrite21.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_2837
23×add-sqr-sqrt_binary64_2828
15×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
11×pow1_binary64_2867
9×pow1/3_binary64_2888
6×associate-*l*_binary64_2747 add-exp-log_binary64_2844 swap-sqr_binary64_2773 associate-*r*_binary64_2746
4×add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 unswap-sqr_binary64_2774
2×pow-sqr_binary64_2779 pow-prod-up_binary64_2876 pow-prod-down_binary64_2877
1×*-commutative_binary64_2737 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow2_binary64_2887 pow-plus_binary64_2869
Counts
4 → 73
Calls

8 calls:

7.0ms
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
1.0ms
(cbrt.f64 KbT)
1.0ms
(cbrt.f64 KbT)
1.0ms
(cbrt.f64 KbT)
0.0ms
(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series328.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

101.0ms
(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
77.0ms
(cbrt.f64 KbT)
77.0ms
(cbrt.f64 KbT)
73.0ms
(cbrt.f64 KbT)
Compiler

Compiled 970 to 838 computations (13.6% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04873548
14873548

localize45.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 1 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu))) (cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))) (/.f64 KbT (cbrt.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu))))))
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.0b
(-.f64 (+.f64 Vef mu) Ec)
0.6b
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
0.6b
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
0.7b
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
14.9b
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))

rewrite104.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
59×*-un-lft-identity_binary64_2806
28×distribute-lft-out_binary64_2757
27×add-cbrt-cube_binary64_2842
25×add-exp-log_binary64_2844
18×cbrt-prod_binary64_2837
15×add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_2841
13×times-frac_binary64_2812
9×prod-exp_binary64_2855 cbrt-unprod_binary64_2839
7×div-exp_binary64_2857 cbrt-undiv_binary64_2840
6×frac-add_binary64_2814 associate-/r/_binary64_2752 distribute-rgt-neg-in_binary64_2764
5×associate-/r*_binary64_2750 flip-+_binary64_2780 flip3-+_binary64_2809
4×cbrt-div_binary64_2838 add-log-exp_binary64_2845 associate-*r/_binary64_2748 associate-/l*_binary64_2751 pow1_binary64_2867
2×div-inv_binary64_2803 pow1/3_binary64_2888 clear-num_binary64_2805 frac-2neg_binary64_2817
1×associate-/l/_binary64_2753 div-sub_binary64_2811 exp-diff_binary64_2854
Counts
4 → 101
Calls

8 calls:

33.0ms
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
21.0ms
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))
16.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
11.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
0.0ms
(-.f64 (+.f64 Vef mu) Ec)

series5.4s (1.3%)

Counts
4 → 83
Calls

4 calls:

4.1s
(/.f64 NdChar (+.f64 (/.f64 (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) KbT) (+.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT))) (*.f64 1/2 (/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))))))
456.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
456.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)))
374.0ms
(/.f64 (*.f64 EDonor (*.f64 EDonor (exp.f64 (/.f64 (-.f64 (+.f64 Vef mu) Ec) KbT)))) (*.f64 KbT KbT))
Compiler

Compiled 18149 to 10747 computations (40.8% saved)

simplify124.0ms (0%)

Algorithm
1×egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049689332
149689332

localize45.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b
(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b
(+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))
0.1b
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
0.1b
(/.f64 (sqrt.f64 (cbrt.f64 NdChar)) (sqrt.f64 (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))))
0.6b
(cbrt.f64 NdChar)
0.6b
(cbrt.f64 NdChar)

rewrite163.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
607×sqrt-prod_binary64_2822
543×times-frac_binary64_2812
413×*-un-lft-identity_binary64_2806
279×add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_2841
102×cbrt-prod_binary64_2837
67×distribute-lft-out_binary64_2757
37×associate-/r*_binary64_2750
13×associate-/l*_binary64_2751
12×div-inv_binary64_2803
8×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
4×add-log-exp_binary64_2845 pow1_binary64_2867
2×associate-/l/_binary64_2753 pow1/3_binary64_2888 div-exp_binary64_2857 cbrt-undiv_binary64_2840 clear-num_binary64_2805 frac-2neg_binary64_2817
1×sqrt-div_binary64_2823 flip-+_binary64_2780 flip3-+_binary64_2809 sqrt-undiv_binary64_2827 associate-/r/_binary64_2752
Counts
4 → 403
Calls

8 calls:

32.0ms
(/.f64 (sqrt.f64 (cbrt.f64 NdChar)) (sqrt.f64 (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))))
26.0ms
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
1.0ms
(cbrt.f64 NdChar)
1.0ms
(cbrt.f64 NdChar)
0.0ms
(+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))

series1.7s (0.4%)

Counts
4 → 47
Calls

4 calls:

1.0s
(/.f64 (sqrt.f64 (cbrt.f64 NdChar)) (sqrt.f64 (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))))
485.0ms
(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) (sqrt.f64 NdChar))
87.0ms
(cbrt.f64 NdChar)
79.0ms
(cbrt.f64 NdChar)
Compiler

Compiled 6214 to 4810 computations (22.6% saved)

simplify261.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
450 → 450
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
0495122498
1495122498

prune1.6min (23.5%)

Pruning

987 alts after pruning (972 fresh and 15 done)

PrunedKeptTotal
New7633761139
Fresh49596645
Picked000
Done11516
Total8139871800
Error
0b
Counts
1800 → 987
Compiler

Compiled 43642 to 11816 computations (72.9% saved)

simplify3.2s (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
011636200184

regimes1.4min (20.1%)

Compiler

Compiled 1273696 to 787662 computations (38.2% saved)

bsearch0.0ms (0%)

regimes4.7s (1.1%)

Compiler

Compiled 42138 to 36306 computations (13.8% saved)

bsearch75.0ms (0%)

Steps
ItersRangePoint
7
4.1708235253014604e+108
5.072849936407651e+110
4.72980683032022e+109
6
-1.5807564206544048e+60
-1.1903356264080525e+59
-2.211954645996467e+59
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes4.4s (1.1%)

Compiler

Compiled 37872 to 32436 computations (14.4% saved)

bsearch81.0ms (0%)

Steps
ItersRangePoint
5
1.3683734645550886e-07
4.436545994974166e-07
4.117484678030446e-07
9
-6.745542585557952e+158
-1.0068922931353652e+152
-1.0415895093946856e+152
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes4.5s (1.1%)

Compiler

Compiled 37386 to 31986 computations (14.4% saved)

bsearch87.0ms (0%)

Steps
ItersRangePoint
8
28012160018251.207
1.3614915385426775e+18
8.886312827474003e+17
9
-6.745542585557952e+158
-1.0068922931353652e+152
-5.240816475062237e+154
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes3.8s (0.9%)

Compiler

Compiled 36657 to 31329 computations (14.5% saved)

bsearch89.0ms (0%)

Steps
ItersRangePoint
7
2.071521827251104e+52
1.245751726625795e+54
6.979714506808102e+52
8
-2.745852875209384e+18
-215733936134618.8
-2.444642284531229e+17
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes2.9s (0.7%)

Compiler

Compiled 35928 to 30672 computations (14.6% saved)

bsearch76.0ms (0%)

Steps
ItersRangePoint
8
5.795413553804128e+243
2.4551657720311786e+247
6.519050892948451e+243
6
-9.089220066482243e+186
-2.1561784930546697e+186
-5.180250292725552e+186
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes5.9s (1.4%)

Compiler

Compiled 35685 to 30447 computations (14.7% saved)

bsearch281.0ms (0.1%)

Steps
ItersRangePoint
8
2.517383542247566e+147
3.6237633678267135e+150
2.5502619016227197e+147
9
5.043772180599266e-38
3.707102780919436e-30
7.719657987282082e-31
9
8.422854889714134e-150
2.4627108044448675e-144
2.9443912014653054e-146
8
1.7296427544641069e-220
2.836630639424431e-217
5.401926993433478e-219
7
-1.0044119029874295e-274
-2.8553028301766976e-276
-7.598254844362704e-276
10
-4.735082302259321e-182
-5.94353530438194e-192
-2.1016655503755895e-184
7
-9.803786989299684e+76
-2.6681167942248767e+75
-2.8525274116388735e+75
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes5.5s (1.3%)

Compiler

Compiled 31869 to 27909 computations (12.4% saved)

bsearch311.0ms (0.1%)

Steps
ItersRangePoint
8
5.340917289556152e+73
5.2153410541540485e+76
1.866973410643373e+74
7
1546917635.9064043
53384236849.14717
7805795598.342865
9
8.477948218444031e-30
7.567291397821002e-24
1.7137583404639804e-24
9
1.1192750640482093e-179
2.9627036876204022e-174
4.43886519707328e-177
7
4.257055921299649e-228
1.1494645556050957e-226
7.249915218194929e-228
8
7.92788575548656e-253
1.4537020582434648e-248
1.3647266724108177e-249
10
-8.362461426965269e-93
-6.936204315306798e-106
-8.9160128013058e-102
8
-8.791539919826551e+58
-8.972317310089005e+55
-4.302669812138807e+56
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes5.4s (1.3%)

Compiler

Compiled 31653 to 27693 computations (12.5% saved)

bsearch305.0ms (0.1%)

Steps
ItersRangePoint
8
5.340917289556152e+73
5.2153410541540485e+76
9.718557464414122e+75
7
1546917635.9064043
53384236849.14717
27744969007.037086
9
8.477948218444031e-30
7.567291397821002e-24
6.377194615007919e-29
8
2.9627036876204022e-174
1.4529257560115742e-170
6.320102651471274e-173
4
4.678754276133468e-200
8.448092986670234e-200
6.964376844477491e-200
10
-3.6018929805609483e-308
2.484941809276319e-298
2.824107960749293e-303
10
-8.362461426965269e-93
-6.936204315306798e-106
-6.2225306685150084e-96
8
-8.791539919826551e+58
-8.972317310089005e+55
-3.74416382103057e+58
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes5.3s (1.3%)

Compiler

Compiled 26865 to 23895 computations (11.1% saved)

bsearch292.0ms (0.1%)

Steps
ItersRangePoint
8
5.340917289556152e+73
5.2153410541540485e+76
3.2459679302601303e+75
7
1546917635.9064043
53384236849.14717
23627432342.815002
9
8.477948218444031e-30
7.567291397821002e-24
1.9448003102295055e-28
9
1.1192750640482093e-179
2.9627036876204022e-174
3.615493184676879e-178
9
4.027852960356819e-206
4.678754276133468e-200
1.3653746676395939e-205
10
-3.6018929805609483e-308
2.484941809276319e-298
3.395818802270135e-309
10
-1.6496226736126345e+100
-3.700229154711e+90
-1.6594247569357382e+97
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes4.6s (1.1%)

Compiler

Compiled 26658 to 23688 computations (11.1% saved)

bsearch277.0ms (0.1%)

Steps
ItersRangePoint
9
5.726018585299537e+164
2.0141611025623218e+170
2.94843638165008e+165
9
1.3612419378910318e+21
6.896320790859305e+28
1.5242427725047761e+26
7
9.58531073038519e-172
9.832965312210991e-170
5.225341728215493e-170
7
2.836630639424431e-217
2.51627478845404e-215
1.8570042913449023e-215
8
-3.5576776334599763e-271
-3.454992043506433e-274
-1.719587662696821e-273
10
-4.735082302259321e-182
-5.94353530438194e-192
-4.203135521666346e-182
7
-9.803786989299684e+76
-2.6681167942248767e+75
-2.6607303887100427e+76
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes4.1s (1%)

Compiler

Compiled 26451 to 23481 computations (11.2% saved)

bsearch198.0ms (0%)

Steps
ItersRangePoint
10
1.298962226564801e-59
3.8354721060651055e-47
1.554566754653333e-56
7
9.58531073038519e-172
9.832965312210991e-170
9.030074765372135e-171
8
1.7296427544641069e-220
2.836630639424431e-217
8.882367407393645e-220
4
1.6351516860567192e-304
3.240158963561417e-304
3.0720993295298158e-304
6
-6.927955198479955e-133
-1.4810645675667913e-133
-1.5282202350604305e-133
6
-1.5807564206544048e+60
-1.1903356264080525e+59
-7.291560633812412e+59
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes3.3s (0.8%)

Compiler

Compiled 26244 to 23274 computations (11.3% saved)

bsearch63.0ms (0%)

Steps
ItersRangePoint
7
3.3679339460210543e+41
1.675137421005101e+43
1.2723707612996735e+42
5
-2.746899010638161e+102
-6.930165661483247e+101
-1.5537382809328836e+102
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes2.6s (0.6%)

Compiler

Compiled 26037 to 23067 computations (11.4% saved)

bsearch88.0ms (0%)

Steps
ItersRangePoint
8
5.0765993781573995e-233
1.9354985228763e-229
1.240510069331853e-232
9
-4.773652207439979e+31
-3.161112526171812e+25
-3.1999162857086536e+25
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes2.1s (0.5%)

Compiler

Compiled 25830 to 22860 computations (11.5% saved)

bsearch74.0ms (0%)

Steps
ItersRangePoint
6
1.685396153140699e+178
2.226976884114935e+179
1.7319667664944906e+178
9
2.730282108121e-30
4.762938612750275e-23
4.7007220537757295e-23
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes2.3s (0.5%)

Compiler

Compiled 17271 to 16119 computations (6.7% saved)

bsearch143.0ms (0%)

Steps
ItersRangePoint
8
5.783672718669337e-87
5.136470461182489e-83
7.123442425127174e-87
7
7.526048000270144e-260
6.536345955627673e-258
4.6504101422032904e-259
10
-9.282202336059426e-34
-9.304541849085399e-49
-6.755349909660575e-36
7
-4.277233974672318e+87
-1.1952000928240716e+86
-1.972876357359083e+86
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.6s (0.4%)

Compiler

Compiled 13464 to 12177 computations (9.6% saved)

bsearch143.0ms (0%)

Steps
ItersRangePoint
8
5.783672718669337e-87
5.136470461182489e-83
9.501720778760614e-87
7
7.526048000270144e-260
6.536345955627673e-258
2.1690037964323533e-258
10
-9.282202336059426e-34
-9.304541849085399e-49
-1.3277177870257392e-39
7
-4.277233974672318e+87
-1.1952000928240716e+86
-1.572496108760098e+86
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.5s (0.4%)

Compiler

Compiled 13320 to 12006 computations (9.9% saved)

bsearch154.0ms (0%)

Steps
ItersRangePoint
8
5.783672718669337e-87
5.136470461182489e-83
4.621609581179345e-86
7
7.526048000270144e-260
6.536345955627673e-258
7.747360134939159e-259
10
-9.282202336059426e-34
-9.304541849085399e-49
-2.4575348685467493e-35
7
-4.277233974672318e+87
-1.1952000928240716e+86
-1.20771197559279e+86
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.5s (0.4%)

Compiler

Compiled 13176 to 11835 computations (10.2% saved)

bsearch143.0ms (0%)

Steps
ItersRangePoint
8
5.783672718669337e-87
5.136470461182489e-83
7.42582470239374e-86
7
7.526048000270144e-260
6.536345955627673e-258
5.806414277556208e-258
10
-9.282202336059426e-34
-9.304541849085399e-49
-1.1372310781987923e-42
7
-4.277233974672318e+87
-1.1952000928240716e+86
-1.20771197559279e+86
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.6s (0.4%)

Compiler

Compiled 13032 to 11664 computations (10.5% saved)

bsearch106.0ms (0%)

Steps
ItersRangePoint
8
5.783672718669337e-87
5.136470461182489e-83
9.734350965828783e-86
5
1.2063955058931837e-306
4.295265432392412e-306
2.0784199699835478e-306
3
-1.2156733833398894e-94
-9.384040709818844e-95
-1.1567124161789221e-94
7
-4.277233974672318e+87
-1.1952000928240716e+86
-1.20771197559279e+86
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes2.1s (0.5%)

Compiler

Compiled 12888 to 11493 computations (10.8% saved)

bsearch200.0ms (0%)

Steps
ItersRangePoint
10
1.1697961843207893e+50
4.407340128016961e+61
5.227341922479223e+53
7
7.526048000270144e-260
6.536345955627673e-258
3.9416950146059094e-258
8
-1.767415854478211e-202
-5.555288660917773e-205
-5.380029471084397e-203
7
-9.842171929152004e-200
-3.846614045538584e-202
-2.420044892571763e-200
7
-9.384040709818844e-95
-1.4424712831932207e-96
-2.8194100310502743e-96
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.7s (0.4%)

Compiler

Compiled 12663 to 11178 computations (11.7% saved)

bsearch145.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
4.804543485017373e+89
7
7.526048000270144e-260
6.536345955627673e-258
4.129030372152245e-259
7
-9.384040709818844e-95
-1.4424712831932207e-96
-1.463211507506255e-95
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.5s (0.4%)

Compiler

Compiled 12555 to 11025 computations (12.2% saved)

bsearch148.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
8.98697964078289e+88
5
1.2063955058931837e-306
4.295265432392412e-306
1.3880082105001485e-306
10
-3.7255335164894973e-106
-5.166072956317475e-116
-3.6894905577944727e-113
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.4793180087654653e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.6s (0.4%)

Compiler

Compiled 12447 to 10872 computations (12.7% saved)

bsearch88.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
3.837821608208131e+97
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.768743163864897e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.6s (0.4%)

Compiler

Compiled 11538 to 10431 computations (9.6% saved)

bsearch79.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
7.290195372060466e+88
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes1.7s (0.4%)

Compiler

Compiled 10107 to 9540 computations (5.6% saved)

bsearch77.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
2.5205305407857637e+95
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes481.0ms (0.1%)

Compiler

Compiled 1404 to 2259 computations (-60.9% saved)

bsearch74.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
2.8192610073421836e+94
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes331.0ms (0.1%)

Compiler

Compiled 594 to 1332 computations (-124.2% saved)

bsearch78.0ms (0%)

Steps
ItersRangePoint
11
6.436490524803085e+85
1.916703643159485e+109
2.658658861181577e+99
7
-7.519577268131989e+158
-3.3346054312157493e+157
-3.382842957065655e+157
Compiler

Compiled 1 to 9 computations (-800% saved)

regimes91.0ms (0%)

Compiler

Compiled 45 to 432 computations (-860% saved)

bsearch92.0ms (0%)

Compiler

Compiled 2892 to 1680 computations (41.9% saved)

simplify108.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
017733827
117733827

end0.0ms (0%)

sample10.1s (2.4%)

Algorithm
1×intervals
Results
760.0ms7998×body128valid
0.0ms1×body1024valid
0.0ms1×body256valid
Compiler

Compiled 132452 to 81919 computations (38.2% saved)

Profiling

Loading profile data...