Details

analyze77.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample17.0ms (0.1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	26×	body	128	overflowed

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify154.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_2736

0× not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_3069 erf-erfc_binary64_3068 erf-odd_binary64_3067 if-if-and-not_binary64_3066 if-if-and_binary64_3065 if-if-or-not_binary64_3064 if-if-or_binary64_3063 if-not_binary64_3062 if-same_binary64_3061 if-false_binary64_3060 if-true_binary64_3059 not-gte_binary64_3058 not-lte_binary64_3057 not-gt_binary64_3056 not-lt_binary64_3055 gte-same_binary64_3054 lte-same_binary64_3053 gt-same_binary64_3052 lt-same_binary64_3051 sinh---cosh_binary64_2998 sinh-+-cosh_binary64_2997 sinh-cosh_binary64_2996 tanh-def-c_binary64_2995 tanh-def-b_binary64_2994 tanh-def-a_binary64_2993 cosh-def_binary64_2992 sinh-def_binary64_2991 tan-neg_binary64_2938 cos-neg_binary64_2937 sin-neg_binary64_2936 tan-0_binary64_2935 cos-0_binary64_2934 sin-0_binary64_2933 hang-m-tan_binary64_2932 hang-p-tan_binary64_2931 hang-m0-tan_binary64_2930 hang-p0-tan_binary64_2929 hang-0m-tan_binary64_2928 hang-0p-tan_binary64_2927 tan-+PI/2_binary64_2926 tan-+PI_binary64_2925 tan-PI_binary64_2924 tan-PI/3_binary64_2923 tan-PI/4_binary64_2922 tan-PI/6_binary64_2921 cos-+PI/2_binary64_2920 cos-+PI_binary64_2919 cos-PI_binary64_2918 cos-PI/2_binary64_2917 cos-PI/3_binary64_2916 cos-PI/4_binary64_2915 cos-PI/6_binary64_2914 sin-+PI/2_binary64_2913 sin-+PI_binary64_2912 sin-PI_binary64_2911 sin-PI/2_binary64_2910 sin-PI/3_binary64_2909 sin-PI/4_binary64_2908 sin-PI/6_binary64_2907 sub-1-sin_binary64_2906 sub-1-cos_binary64_2905 -1-add-sin_binary64_2904 -1-add-cos_binary64_2903 1-sub-sin_binary64_2902 1-sub-cos_binary64_2901 cos-sin-sum_binary64_2900 log-E_binary64_2896 log-pow_binary64_2895 log-rec_binary64_2894 log-div_binary64_2893 log-prod_binary64_2892 pow-base-0_binary64_2890 unpow1/3_binary64_2873 unpow3_binary64_2872 unpow2_binary64_2871 unpow1/2_binary64_2870 pow-plus_binary64_2869 exp-to-pow_binary64_2868 pow-base-1_binary64_2866 unpow0_binary64_2865 unpow1_binary64_2864 unpow-1_binary64_2863 exp-lft-cube_binary64_2862 exp-lft-sqr_binary64_2861 exp-cbrt_binary64_2860 exp-sqrt_binary64_2859 exp-prod_binary64_2858 div-exp_binary64_2857 rec-exp_binary64_2856 prod-exp_binary64_2855 exp-diff_binary64_2854 exp-neg_binary64_2853 exp-sum_binary64_2852 e-exp-1_binary64_2851 1-exp_binary64_2850 exp-1-e_binary64_2849 exp-0_binary64_2848 rem-log-exp_binary64_2847 rem-exp-log_binary64_2846 cube-unmult_binary64_2843 cube-mult_binary64_2836 cube-div_binary64_2835 cube-prod_binary64_2834 cube-neg_binary64_2833 rem-3cbrt-rft_binary64_2832 rem-3cbrt-lft_binary64_2831 rem-cbrt-cube_binary64_2830 rem-cube-cbrt_binary64_2829 sqr-abs_binary64_2821 sqr-neg_binary64_2820 rem-sqrt-square_binary64_2819 rem-square-sqrt_binary64_2818 times-frac_binary64_2812 div-sub_binary64_2811 neg-mul-1_binary64_2802 neg-sub0_binary64_2801 unsub-neg_binary64_2800 sub-neg_binary64_2799 mul-1-neg_binary64_2798 /-rgt-identity_binary64_2797 *-rgt-identity_binary64_2796 *-lft-identity_binary64_2795 remove-double-neg_binary64_2794 sub0-neg_binary64_2793 --rgt-identity_binary64_2792 +-rgt-identity_binary64_2791 +-lft-identity_binary64_2790 mul0-rgt_binary64_2789 mul0-lft_binary64_2788 div0_binary64_2787 *-inverses_binary64_2786 +-inverses_binary64_2785 lft-mult-inverse_binary64_2784 rgt-mult-inverse_binary64_2783 remove-double-div_binary64_2782 pow-sqr_binary64_2779 sqr-pow_binary64_2778 difference-of-sqr--1_binary64_2777 difference-of-sqr-1_binary64_2776 difference-of-squares_binary64_2775 unswap-sqr_binary64_2774 swap-sqr_binary64_2773 cancel-sign-sub-inv_binary64_2772 cancel-sign-sub_binary64_2771 distribute-neg-frac_binary64_2770 distribute-frac-neg_binary64_2769 distribute-neg-out_binary64_2768 distribute-neg-in_binary64_2767 distribute-rgt-neg-out_binary64_2766 distribute-lft-neg-out_binary64_2765 distribute-rgt-neg-in_binary64_2764 distribute-lft-neg-in_binary64_2763 distribute-rgt1-in_binary64_2762 distribute-lft1-in_binary64_2761 distribute-rgt-out--_binary64_2760 distribute-rgt-out_binary64_2759 distribute-lft-out--_binary64_2758 distribute-lft-out_binary64_2757 distribute-rgt-in_binary64_2756 distribute-lft-in_binary64_2755 count-2_binary64_2754 associate-/l/_binary64_2753 associate-/r/_binary64_2752 associate-/l*_binary64_2751 associate-/r*_binary64_2750 associate-*l/_binary64_2749 associate-*r/_binary64_2748 associate-*l*_binary64_2747 associate-*r*_binary64_2746 associate--r-_binary64_2745 associate--l-_binary64_2744 associate--l+_binary64_2743 associate--r+_binary64_2742 associate-+l-_binary64_2741 associate-+r-_binary64_2740 associate-+l+_binary64_2739 associate-+r+_binary64_2738 *-commutative_binary64_2737

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

1.5b

Counts

1 → 1

Compiler

Compiled 8 to 6 computations (25% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
1.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite51.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

1.5b

Rules

21×	`*-un-lft-identity_binary64_2806`
12×	`times-frac_binary64_2812`
11×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828`
5×	`distribute-lft-out_binary64_2757`
4×	`add-log-exp_binary64_2845` `add-cbrt-cube_binary64_2842` `associate-/r*_binary64_2750`
3×	`add-exp-log_binary64_2844` `associate-/l*_binary64_2751`
2×	`pow1_binary64_2867` `flip3-+_binary64_2809` `associate-/r/_binary64_2752` `flip-+_binary64_2780`
1×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `div-inv_binary64_2803` `sum-log_binary64_2897` `+-commutative_binary64_2736`

Counts

2 → 45

Calls

2 calls:

7.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 750 to 153 computations (79.6% saved)

series321.0ms (2.5%)

Error

0.8b

Counts

2 → 21

Calls

2 calls:

257.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
42.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 954 to 627 computations (34.3% saved)

simplify240.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

356×	`times-frac_binary64_2812`
321×	`sub-neg_binary64_2799`
310×	`associate-/l*_binary64_2751`
206×	`associate-/r*_binary64_2750`
189×	`associate-+l+_binary64_2739`
173×	`distribute-rgt-neg-in_binary64_2764`
166×	`distribute-neg-frac_binary64_2770`
155×	`distribute-lft-neg-in_binary64_2763`
129×	`unswap-sqr_binary64_2774`
122×	`associate-l/_binary64_2749` `associate-l*_binary64_2747` `associate-+r+_binary64_2738`
115×	`associate-*r/_binary64_2748`
114×	`associate--l+_binary64_2743` `+-commutative_binary64_2736`
109×	`associate-/r/_binary64_2752`
108×	`associate--r+_binary64_2742`
100×	`associate-r_binary64_2746`
98×	`associate-/l/_binary64_2753`
93×	`distribute-rgt-in_binary64_2756`
88×	`*-commutative_binary64_2737`
85×	`unsub-neg_binary64_2800`
82×	`cancel-sign-sub-inv_binary64_2772`
78×	`sqr-pow_binary64_2778` `distribute-lft-in_binary64_2755`
60×	`div-sub_binary64_2811`
58×	`neg-mul-1_binary64_2802`
57×	`neg-sub0_binary64_2801` `distribute-neg-in_binary64_2767`
49×	`pow-sqr_binary64_2779`
45×	`prod-exp_binary64_2855`
40×	`*-rgt-identity_binary64_2796`
37×	`associate-+l-_binary64_2741`
35×	`associate-+r-_binary64_2740`
31×	`div-exp_binary64_2857`
25×	`*-lft-identity_binary64_2795`
23×	`distribute-lft-neg-out_binary64_2765`
22×	`pow-plus_binary64_2869`
20×	`+-rgt-identity_binary64_2791`
19×	`/-rgt-identity_binary64_2797`
17×	`cube-div_binary64_2835`
16×	`exp-prod_binary64_2858` `cube-prod_binary64_2834` `sub0-neg_binary64_2793`
13×	`cube-unmult_binary64_2843` `distribute-neg-out_binary64_2768`
12×	`distribute-rgt-out_binary64_2759`
11×	`log-div_binary64_2893` `log-prod_binary64_2892`
7×	`unpow3_binary64_2872` `div0_binary64_2787` `swap-sqr_binary64_2773`
6×	`cube-mult_binary64_2836` `difference-of-squares_binary64_2775` `distribute-lft-out_binary64_2757`
5×	`rec-exp_binary64_2856`
4×	`unpow2_binary64_2871` `unpow1_binary64_2864` `distribute-rgt1-in_binary64_2762` `associate--l-_binary64_2744`
3×	`exp-sqrt_binary64_2859` `cancel-sign-sub_binary64_2771` `distribute-rgt-out--_binary64_2760`
2×	`exp-lft-sqr_binary64_2861` `exp-diff_binary64_2854` `rem-log-exp_binary64_2847` `distribute-lft1-in_binary64_2761` `count-2_binary64_2754`
1×	`log-pow_binary64_2895` `log-rec_binary64_2894` `exp-to-pow_binary64_2868` `pow-base-1_binary64_2866` `1-exp_binary64_2850` `remove-double-neg_binary64_2794` `--rgt-identity_binary64_2792` `mul0-rgt_binary64_2789` `mul0-lft_binary64_2788` `*-inverses_binary64_2786` `rgt-mult-inverse_binary64_2783` `distribute-frac-neg_binary64_2769` `distribute-rgt-neg-out_binary64_2766` `distribute-lft-out--_binary64_2758` `associate--r-_binary64_2745`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_3069` `erf-erfc_binary64_3068` `erf-odd_binary64_3067` `if-if-and-not_binary64_3066` `if-if-and_binary64_3065` `if-if-or-not_binary64_3064` `if-if-or_binary64_3063` `if-not_binary64_3062` `if-same_binary64_3061` `if-false_binary64_3060` `if-true_binary64_3059` `not-gte_binary64_3058` `not-lte_binary64_3057` `not-gt_binary64_3056` `not-lt_binary64_3055` `gte-same_binary64_3054` `lte-same_binary64_3053` `gt-same_binary64_3052` `lt-same_binary64_3051` `sinh---cosh_binary64_2998` `sinh-+-cosh_binary64_2997` `sinh-cosh_binary64_2996` `tanh-def-c_binary64_2995` `tanh-def-b_binary64_2994` `tanh-def-a_binary64_2993` `cosh-def_binary64_2992` `sinh-def_binary64_2991` `tan-neg_binary64_2938` `cos-neg_binary64_2937` `sin-neg_binary64_2936` `tan-0_binary64_2935` `cos-0_binary64_2934` `sin-0_binary64_2933` `hang-m-tan_binary64_2932` `hang-p-tan_binary64_2931` `hang-m0-tan_binary64_2930` `hang-p0-tan_binary64_2929` `hang-0m-tan_binary64_2928` `hang-0p-tan_binary64_2927` `tan-+PI/2_binary64_2926` `tan-+PI_binary64_2925` `tan-PI_binary64_2924` `tan-PI/3_binary64_2923` `tan-PI/4_binary64_2922` `tan-PI/6_binary64_2921` `cos-+PI/2_binary64_2920` `cos-+PI_binary64_2919` `cos-PI_binary64_2918` `cos-PI/2_binary64_2917` `cos-PI/3_binary64_2916` `cos-PI/4_binary64_2915` `cos-PI/6_binary64_2914` `sin-+PI/2_binary64_2913` `sin-+PI_binary64_2912` `sin-PI_binary64_2911` `sin-PI/2_binary64_2910` `sin-PI/3_binary64_2909` `sin-PI/4_binary64_2908` `sin-PI/6_binary64_2907` `sub-1-sin_binary64_2906` `sub-1-cos_binary64_2905` `-1-add-sin_binary64_2904` `-1-add-cos_binary64_2903` `1-sub-sin_binary64_2902` `1-sub-cos_binary64_2901` `cos-sin-sum_binary64_2900` `log-E_binary64_2896` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `unpow1/2_binary64_2870` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-cbrt_binary64_2860` `exp-neg_binary64_2853` `exp-sum_binary64_2852` `e-exp-1_binary64_2851` `exp-1-e_binary64_2849` `exp-0_binary64_2848` `rem-exp-log_binary64_2846` `cube-neg_binary64_2833` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `rem-cbrt-cube_binary64_2830` `rem-cube-cbrt_binary64_2829` `sqr-abs_binary64_2821` `sqr-neg_binary64_2820` `rem-sqrt-square_binary64_2819` `rem-square-sqrt_binary64_2818` `mul-1-neg_binary64_2798` `+-lft-identity_binary64_2790` `+-inverses_binary64_2785` `lft-mult-inverse_binary64_2784` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776`

Counts

66 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1465
1	333	1394
2	1131	1367
3	3762	1367

prune130.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	2	117

Error

0.8b

Counts

117 → 2

Compiler

Compiled 2603 to 800 computations (69.3% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))
0.0b	(+.f64 1 (exp.f64 b))

rewrite57.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

21×	`*-un-lft-identity_binary64_2806`
12×	`times-frac_binary64_2812`
11×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828`
6×	`add-exp-log_binary64_2844`
5×	`distribute-lft-out_binary64_2757`
4×	`add-log-exp_binary64_2845` `add-cbrt-cube_binary64_2842` `associate-/r*_binary64_2750`
3×	`pow1_binary64_2867` `associate-/l*_binary64_2751`
2×	`flip3-+_binary64_2809` `flip-+_binary64_2780` `div-exp_binary64_2857` `associate-/r/_binary64_2752`
1×	`sum-log_binary64_2897` `+-commutative_binary64_2736` `inv-pow_binary64_2891` `pow-flip_binary64_2880` `1-exp_binary64_2850` `rec-exp_binary64_2856` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `div-inv_binary64_2803`

Counts

2 → 49

Calls

2 calls:

6.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
4.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 634 to 468 computations (26.2% saved)

series82.0ms (0.7%)

Error

0.8b

Counts

2 → 12

Calls

2 calls:

54.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
18.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 212 to 207 computations (2.4% saved)

simplify780.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

414×	`associate-*l/_binary64_2749`
288×	`associate-*r/_binary64_2748`
249×	`associate-/l*_binary64_2751`
237×	`associate-/r/_binary64_2752`
188×	`associate-/l/_binary64_2753`
175×	`exp-to-pow_binary64_2868`
172×	`distribute-rgt-in_binary64_2756`
171×	`associate-/r*_binary64_2750`
161×	`cancel-sign-sub-inv_binary64_2772`
146×	`distribute-rgt-out_binary64_2759`
134×	`associate-+l+_binary64_2739`
129×	`*-commutative_binary64_2737`
124×	`exp-prod_binary64_2858`
116×	`associate-+r+_binary64_2738`
111×	`distribute-lft-in_binary64_2755`
110×	`associate-+l-_binary64_2741`
95×	`distribute-rgt-out--_binary64_2760`
83×	`sub-neg_binary64_2799`
80×	`log-div_binary64_2893`
78×	`exp-sqrt_binary64_2859`
69×	`+-commutative_binary64_2736`
67×	`div-sub_binary64_2811`
66×	`associate-+r-_binary64_2740`
62×	`sqr-pow_binary64_2778`
58×	`unsub-neg_binary64_2800`
57×	`log-prod_binary64_2892`
49×	`pow-plus_binary64_2869`
47×	`associate-l_binary64_2747`
45×	`associate--l-_binary64_2744`
43×	`log-pow_binary64_2895` `associate-r_binary64_2746`
41×	`prod-exp_binary64_2855`
39×	`pow-sqr_binary64_2779`
34×	`distribute-rgt-neg-in_binary64_2764`
33×	`times-frac_binary64_2812`
28×	`distribute-lft-neg-in_binary64_2763`
25×	`neg-sub0_binary64_2801` `unswap-sqr_binary64_2774` `distribute-neg-frac_binary64_2770`
24×	`associate--l+_binary64_2743`
23×	`exp-lft-sqr_binary64_2861` `neg-mul-1_binary64_2802`
21×	`distribute-rgt1-in_binary64_2762`
19×	`associate--r+_binary64_2742`
17×	`distribute-lft-out_binary64_2757`
16×	`*-rgt-identity_binary64_2796` `distribute-lft-neg-out_binary64_2765`
15×	`sub0-neg_binary64_2793`
14×	`unpow3_binary64_2872` `pow-base-1_binary64_2866` `cube-div_binary64_2835`
12×	`+-rgt-identity_binary64_2791`
11×	`div-exp_binary64_2857` `cube-prod_binary64_2834` `*-lft-identity_binary64_2795` `distribute-lft-out--_binary64_2758`
10×	`/-rgt-identity_binary64_2797` `distribute-rgt-neg-out_binary64_2766`
9×	`+-lft-identity_binary64_2790` `swap-sqr_binary64_2773` `associate--r-_binary64_2745`
7×	`log-rec_binary64_2894`
6×	`exp-sum_binary64_2852` `cube-unmult_binary64_2843` `distribute-frac-neg_binary64_2769` `distribute-neg-in_binary64_2767`
5×	`distribute-lft1-in_binary64_2761`
4×	`cube-mult_binary64_2836` `distribute-neg-out_binary64_2768` `count-2_binary64_2754`
3×	`exp-lft-cube_binary64_2862` `mul0-rgt_binary64_2789` `mul0-lft_binary64_2788`
2×	`exp-diff_binary64_2854` `remove-double-neg_binary64_2794` `cancel-sign-sub_binary64_2771`
1×	`unpow2_binary64_2871` `unpow1_binary64_2864` `rec-exp_binary64_2856` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `rem-log-exp_binary64_2847` `rem-cbrt-cube_binary64_2830` `rem-sqrt-square_binary64_2819` `--rgt-identity_binary64_2792` `*-inverses_binary64_2786` `+-inverses_binary64_2785` `rgt-mult-inverse_binary64_2783` `difference-of-sqr-1_binary64_2776` `difference-of-squares_binary64_2775`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_3069` `erf-erfc_binary64_3068` `erf-odd_binary64_3067` `if-if-and-not_binary64_3066` `if-if-and_binary64_3065` `if-if-or-not_binary64_3064` `if-if-or_binary64_3063` `if-not_binary64_3062` `if-same_binary64_3061` `if-false_binary64_3060` `if-true_binary64_3059` `not-gte_binary64_3058` `not-lte_binary64_3057` `not-gt_binary64_3056` `not-lt_binary64_3055` `gte-same_binary64_3054` `lte-same_binary64_3053` `gt-same_binary64_3052` `lt-same_binary64_3051` `sinh---cosh_binary64_2998` `sinh-+-cosh_binary64_2997` `sinh-cosh_binary64_2996` `tanh-def-c_binary64_2995` `tanh-def-b_binary64_2994` `tanh-def-a_binary64_2993` `cosh-def_binary64_2992` `sinh-def_binary64_2991` `tan-neg_binary64_2938` `cos-neg_binary64_2937` `sin-neg_binary64_2936` `tan-0_binary64_2935` `cos-0_binary64_2934` `sin-0_binary64_2933` `hang-m-tan_binary64_2932` `hang-p-tan_binary64_2931` `hang-m0-tan_binary64_2930` `hang-p0-tan_binary64_2929` `hang-0m-tan_binary64_2928` `hang-0p-tan_binary64_2927` `tan-+PI/2_binary64_2926` `tan-+PI_binary64_2925` `tan-PI_binary64_2924` `tan-PI/3_binary64_2923` `tan-PI/4_binary64_2922` `tan-PI/6_binary64_2921` `cos-+PI/2_binary64_2920` `cos-+PI_binary64_2919` `cos-PI_binary64_2918` `cos-PI/2_binary64_2917` `cos-PI/3_binary64_2916` `cos-PI/4_binary64_2915` `cos-PI/6_binary64_2914` `sin-+PI/2_binary64_2913` `sin-+PI_binary64_2912` `sin-PI_binary64_2911` `sin-PI/2_binary64_2910` `sin-PI/3_binary64_2909` `sin-PI/4_binary64_2908` `sin-PI/6_binary64_2907` `sub-1-sin_binary64_2906` `sub-1-cos_binary64_2905` `-1-add-sin_binary64_2904` `-1-add-cos_binary64_2903` `1-sub-sin_binary64_2902` `1-sub-cos_binary64_2901` `cos-sin-sum_binary64_2900` `log-E_binary64_2896` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `unpow1/2_binary64_2870` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-cbrt_binary64_2860` `exp-neg_binary64_2853` `e-exp-1_binary64_2851` `exp-0_binary64_2848` `rem-exp-log_binary64_2846` `cube-neg_binary64_2833` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `rem-cube-cbrt_binary64_2829` `sqr-abs_binary64_2821` `sqr-neg_binary64_2820` `rem-square-sqrt_binary64_2818` `mul-1-neg_binary64_2798` `div0_binary64_2787` `lft-mult-inverse_binary64_2784` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777`

Counts

61 → 158

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	887
1	206	691
2	433	688
3	1061	688
4	4543	688

prune173.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	157	3	160

Error

0.8b

Counts

160 → 3

Compiler

Compiled 2477 to 1853 computations (25.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))
0.0b	(+.f64 (exp.f64 b) 1)
0.0b	(+.f64 1 (exp.f64 b))
0.6b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))

rewrite281.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

71×	`add-sqr-sqrt_binary64_2828`
63×	`*-un-lft-identity_binary64_2806`
60×	`sqrt-prod_binary64_2822`
52×	`times-frac_binary64_2812`
31×	`add-cube-cbrt_binary64_2841`
21×	`associate-l_binary64_2747` `associate-r_binary64_2746`
16×	`unswap-sqr_binary64_2774`
12×	`distribute-lft-out_binary64_2757`
11×	`pow1_binary64_2867`
10×	`add-exp-log_binary64_2844`
8×	`add-log-exp_binary64_2845` `add-cbrt-cube_binary64_2842`
6×	`sqrt-pow1_binary64_2824` `associate-/r/_binary64_2752`
5×	`pow-prod-down_binary64_2877` `flip3-+_binary64_2809` `flip-+_binary64_2780`
4×	`sqrt-div_binary64_2823` `associate-/r*_binary64_2750`
3×	`inv-pow_binary64_2891` `pow-flip_binary64_2880` `div-inv_binary64_2803` `associate-/l*_binary64_2751`
2×	`pow1/2_binary64_2886` `sum-log_binary64_2897` `+-commutative_binary64_2736` `div-exp_binary64_2857`
1×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `sqrt-unprod_binary64_2826` `frac-times_binary64_2816` `associate-l/_binary64_2749` `associate-r/_binary64_2748` `*-commutative_binary64_2737` `1-exp_binary64_2850` `rec-exp_binary64_2856` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `clear-num_binary64_2805`

Counts

4 → 138

Calls

4 calls:

26.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))
6.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 b) 1)
3.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 3417 to 2598 computations (24% saved)

series182.0ms (1.4%)

Error

0.8b

Counts

4 → 24

Calls

4 calls:

57.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 (exp.f64 b) 1))))
55.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
22.0ms	(+.f64 (exp.f64 b) 1)
22.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 802 to 717 computations (10.6% saved)

simplify877.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

408×	`distribute-rgt-in_binary64_2756`
337×	`distribute-lft-in_binary64_2755`
257×	`cancel-sign-sub-inv_binary64_2772`
200×	`associate-*l/_binary64_2749`
173×	`distribute-rgt-out_binary64_2759`
154×	`div-sub_binary64_2811`
145×	`associate-/l*_binary64_2751`
139×	`associate-*r/_binary64_2748`
105×	`sub-neg_binary64_2799`
100×	`*-commutative_binary64_2737`
97×	`distribute-rgt-out--_binary64_2760`
95×	`sqr-pow_binary64_2778`
91×	`associate-/r*_binary64_2750`
86×	`associate-/l/_binary64_2753`
84×	`associate-/r/_binary64_2752`
83×	`associate--l-_binary64_2744`
82×	`unsub-neg_binary64_2800`
76×	`exp-prod_binary64_2858`
73×	`associate-l_binary64_2747`
66×	`cube-div_binary64_2835` `unswap-sqr_binary64_2774` `associate-r_binary64_2746`
65×	`distribute-rgt-neg-in_binary64_2764`
63×	`log-div_binary64_2893`
61×	`log-prod_binary64_2892`
58×	`associate-+l+_binary64_2739`
55×	`distribute-neg-frac_binary64_2770`
51×	`pow-sqr_binary64_2779`
50×	`cube-prod_binary64_2834` `distribute-lft-neg-in_binary64_2763`
44×	`+-commutative_binary64_2736`
42×	`prod-exp_binary64_2855` `*-rgt-identity_binary64_2796` `associate-+r+_binary64_2738`
35×	`neg-mul-1_binary64_2802` `*-lft-identity_binary64_2795`
31×	`neg-sub0_binary64_2801`
30×	`associate--r-_binary64_2745`
24×	`pow-plus_binary64_2869`
23×	`distribute-lft-out_binary64_2757` `associate-+l-_binary64_2741`
22×	`distribute-rgt1-in_binary64_2762`
21×	`rem-sqrt-square_binary64_2819`
20×	`associate-+r-_binary64_2740`
19×	`exp-sqrt_binary64_2859` `associate--l+_binary64_2743`
18×	`times-frac_binary64_2812` `distribute-lft-neg-out_binary64_2765` `distribute-lft-out--_binary64_2758`
17×	`log-pow_binary64_2895` `exp-sum_binary64_2852` `swap-sqr_binary64_2773` `distribute-neg-in_binary64_2767`
16×	`sub0-neg_binary64_2793`
13×	`+-rgt-identity_binary64_2791`
11×	`div-exp_binary64_2857` `distribute-rgt-neg-out_binary64_2766`
10×	`unpow3_binary64_2872` `/-rgt-identity_binary64_2797` `associate--r+_binary64_2742`
9×	`exp-lft-sqr_binary64_2861` `count-2_binary64_2754`
8×	`log-rec_binary64_2894` `cube-unmult_binary64_2843`
7×	`rem-square-sqrt_binary64_2818` `+-lft-identity_binary64_2790` `difference-of-squares_binary64_2775` `distribute-frac-neg_binary64_2769` `distribute-lft1-in_binary64_2761`
6×	`pow-base-1_binary64_2866` `exp-diff_binary64_2854` `cube-mult_binary64_2836`
4×	`mul0-lft_binary64_2788` `distribute-neg-out_binary64_2768`
3×	`remove-double-neg_binary64_2794` `mul0-rgt_binary64_2789`
2×	`exp-to-pow_binary64_2868` `*-inverses_binary64_2786` `cancel-sign-sub_binary64_2771`
1×	`unpow2_binary64_2871` `unpow1_binary64_2864` `rec-exp_binary64_2856` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `rem-log-exp_binary64_2847` `rem-exp-log_binary64_2846` `rem-cbrt-cube_binary64_2830` `--rgt-identity_binary64_2792` `+-inverses_binary64_2785` `rgt-mult-inverse_binary64_2783` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_3069` `erf-erfc_binary64_3068` `erf-odd_binary64_3067` `if-if-and-not_binary64_3066` `if-if-and_binary64_3065` `if-if-or-not_binary64_3064` `if-if-or_binary64_3063` `if-not_binary64_3062` `if-same_binary64_3061` `if-false_binary64_3060` `if-true_binary64_3059` `not-gte_binary64_3058` `not-lte_binary64_3057` `not-gt_binary64_3056` `not-lt_binary64_3055` `gte-same_binary64_3054` `lte-same_binary64_3053` `gt-same_binary64_3052` `lt-same_binary64_3051` `sinh---cosh_binary64_2998` `sinh-+-cosh_binary64_2997` `sinh-cosh_binary64_2996` `tanh-def-c_binary64_2995` `tanh-def-b_binary64_2994` `tanh-def-a_binary64_2993` `cosh-def_binary64_2992` `sinh-def_binary64_2991` `tan-neg_binary64_2938` `cos-neg_binary64_2937` `sin-neg_binary64_2936` `tan-0_binary64_2935` `cos-0_binary64_2934` `sin-0_binary64_2933` `hang-m-tan_binary64_2932` `hang-p-tan_binary64_2931` `hang-m0-tan_binary64_2930` `hang-p0-tan_binary64_2929` `hang-0m-tan_binary64_2928` `hang-0p-tan_binary64_2927` `tan-+PI/2_binary64_2926` `tan-+PI_binary64_2925` `tan-PI_binary64_2924` `tan-PI/3_binary64_2923` `tan-PI/4_binary64_2922` `tan-PI/6_binary64_2921` `cos-+PI/2_binary64_2920` `cos-+PI_binary64_2919` `cos-PI_binary64_2918` `cos-PI/2_binary64_2917` `cos-PI/3_binary64_2916` `cos-PI/4_binary64_2915` `cos-PI/6_binary64_2914` `sin-+PI/2_binary64_2913` `sin-+PI_binary64_2912` `sin-PI_binary64_2911` `sin-PI/2_binary64_2910` `sin-PI/3_binary64_2909` `sin-PI/4_binary64_2908` `sin-PI/6_binary64_2907` `sub-1-sin_binary64_2906` `sub-1-cos_binary64_2905` `-1-add-sin_binary64_2904` `-1-add-cos_binary64_2903` `1-sub-sin_binary64_2902` `1-sub-cos_binary64_2901` `cos-sin-sum_binary64_2900` `log-E_binary64_2896` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `unpow1/2_binary64_2870` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-cbrt_binary64_2860` `exp-neg_binary64_2853` `e-exp-1_binary64_2851` `exp-0_binary64_2848` `cube-neg_binary64_2833` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `rem-cube-cbrt_binary64_2829` `sqr-abs_binary64_2821` `sqr-neg_binary64_2820` `mul-1-neg_binary64_2798` `div0_binary64_2787` `lft-mult-inverse_binary64_2784` `difference-of-sqr-1_binary64_2776`

Counts

162 → 272

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	204	3207
1	331	2824
2	757	2778
3	2224	2778

prune527.0ms (4.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	271	1	272
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	272	3	275

Error

0.8b

Counts

275 → 3

Compiler

Compiled 6668 to 5041 computations (24.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
0.5b	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
0.5b	(*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3))
0.5b	(pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3)

rewrite1.0s (8.1%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

433×	`sqrt-prod_binary64_2822`
221×	`add-sqr-sqrt_binary64_2828`
140×	`*-un-lft-identity_binary64_2806`
132×	`times-frac_binary64_2812`
74×	`add-cube-cbrt_binary64_2841`
73×	`unpow-prod-down_binary64_2885` `cube-prod_binary64_2834`
60×	`unswap-sqr_binary64_2774`
54×	`associate-r_binary64_2746`
24×	`sqrt-pow1_binary64_2824` `associate-l_binary64_2747`
21×	`distribute-lft-out_binary64_2757`
15×	`pow1_binary64_2867`
14×	`associate-/r/_binary64_2752` `sqrt-div_binary64_2823`
10×	`add-exp-log_binary64_2844`
8×	`rem-sqrt-square_binary64_2819`
7×	`div-inv_binary64_2803` `flip3-+_binary64_2809` `flip-+_binary64_2780` `pow-pow_binary64_2878` `add-cbrt-cube_binary64_2842` `sqr-pow_binary64_2778`
6×	`pow1/2_binary64_2886`
4×	`add-log-exp_binary64_2845`
3×	`pow-unpow_binary64_2883` `inv-pow_binary64_2891` `pow-flip_binary64_2880` `cube-div_binary64_2835` `prod-exp_binary64_2855`
2×	`pow-to-exp_binary64_2875` `pow-exp_binary64_2874` `unpow3_binary64_2872` `cube-mult_binary64_2836`
1×	`rem-cube-cbrt_binary64_2829` `sqrt-pow2_binary64_2825` `pow-prod-up_binary64_2876` `cbrt-unprod_binary64_2839` `frac-times_binary64_2816` `associate-l/_binary64_2749` `associate-r/_binary64_2748` `*-commutative_binary64_2737`

Counts

4 → 305

Calls

4 calls:

43.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3))
13.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3)
8.0ms	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
7.0ms	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))

Compiler

Compiled 10011 to 8145 computations (18.6% saved)

series608.0ms (4.8%)

Error

0.8b

Counts

4 → 24

Calls

4 calls:

217.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3)
153.0ms	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
147.0ms	(sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
60.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) 3))

Compiler

Compiled 1150 to 1065 computations (7.4% saved)

simplify3.5s (28%)

Algorithm

1×	egg-herbie

Rules

414×	`times-frac_binary64_2812`
317×	`associate-r_binary64_2746`
309×	`associate-l_binary64_2747`
239×	`cancel-sign-sub-inv_binary64_2772`
209×	`associate-*l/_binary64_2749`
176×	`sqr-pow_binary64_2778`
168×	`associate-/l*_binary64_2751`
132×	`associate-*r/_binary64_2748`
104×	`associate-/r*_binary64_2750`
100×	`log-prod_binary64_2892`
99×	`exp-prod_binary64_2858`
97×	`distribute-rgt-neg-in_binary64_2764`
95×	`pow-sqr_binary64_2779`
92×	`*-commutative_binary64_2737`
81×	`unswap-sqr_binary64_2774`
79×	`prod-exp_binary64_2855`
74×	`distribute-lft-neg-in_binary64_2763`
71×	`cube-prod_binary64_2834`
64×	`sub-neg_binary64_2799`
59×	`log-pow_binary64_2895`
54×	`distribute-rgt-in_binary64_2756`
48×	`rem-sqrt-square_binary64_2819` `swap-sqr_binary64_2773` `+-commutative_binary64_2736`
44×	`pow-plus_binary64_2869` `associate-/l/_binary64_2753`
38×	`distribute-lft-in_binary64_2755` `associate-+l+_binary64_2739`
36×	`unpow3_binary64_2872`
34×	`*-rgt-identity_binary64_2796`
33×	`cube-mult_binary64_2836`
32×	`neg-mul-1_binary64_2802`
31×	`neg-sub0_binary64_2801` `associate-+l-_binary64_2741`
30×	`associate-+r+_binary64_2738`
29×	`distribute-rgt-out_binary64_2759`
28×	`div-exp_binary64_2857` `distribute-lft-neg-out_binary64_2765`
27×	`*-lft-identity_binary64_2795` `associate-+r-_binary64_2740`
26×	`associate--l+_binary64_2743`
24×	`rem-square-sqrt_binary64_2818`
21×	`associate-/r/_binary64_2752`
20×	`distribute-rgt-out--_binary64_2760`
19×	`associate--r+_binary64_2742`
18×	`distribute-lft-out--_binary64_2758`
13×	`distribute-lft-out_binary64_2757`
11×	`/-rgt-identity_binary64_2797`
10×	`div-sub_binary64_2811` `distribute-rgt1-in_binary64_2762`
8×	`cube-unmult_binary64_2843` `unsub-neg_binary64_2800`
6×	`distribute-neg-in_binary64_2767` `count-2_binary64_2754`
4×	`log-rec_binary64_2894` `rec-exp_binary64_2856` `cube-div_binary64_2835` `distribute-neg-frac_binary64_2770`
3×	`log-div_binary64_2893` `pow-base-1_binary64_2866` `rem-cbrt-cube_binary64_2830` `distribute-frac-neg_binary64_2769` `distribute-lft1-in_binary64_2761`
2×	`unpow1_binary64_2864` `div0_binary64_2787` `difference-of-squares_binary64_2775` `distribute-rgt-neg-out_binary64_2766`
1×	`unpow2_binary64_2871` `exp-sqrt_binary64_2859` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `rem-log-exp_binary64_2847` `rem-cube-cbrt_binary64_2829` `sqr-abs_binary64_2821` `mul-1-neg_binary64_2798` `+-rgt-identity_binary64_2791` `+-lft-identity_binary64_2790` `*-inverses_binary64_2786` `rgt-mult-inverse_binary64_2783`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_3069` `erf-erfc_binary64_3068` `erf-odd_binary64_3067` `if-if-and-not_binary64_3066` `if-if-and_binary64_3065` `if-if-or-not_binary64_3064` `if-if-or_binary64_3063` `if-not_binary64_3062` `if-same_binary64_3061` `if-false_binary64_3060` `if-true_binary64_3059` `not-gte_binary64_3058` `not-lte_binary64_3057` `not-gt_binary64_3056` `not-lt_binary64_3055` `gte-same_binary64_3054` `lte-same_binary64_3053` `gt-same_binary64_3052` `lt-same_binary64_3051` `sinh---cosh_binary64_2998` `sinh-+-cosh_binary64_2997` `sinh-cosh_binary64_2996` `tanh-def-c_binary64_2995` `tanh-def-b_binary64_2994` `tanh-def-a_binary64_2993` `cosh-def_binary64_2992` `sinh-def_binary64_2991` `tan-neg_binary64_2938` `cos-neg_binary64_2937` `sin-neg_binary64_2936` `tan-0_binary64_2935` `cos-0_binary64_2934` `sin-0_binary64_2933` `hang-m-tan_binary64_2932` `hang-p-tan_binary64_2931` `hang-m0-tan_binary64_2930` `hang-p0-tan_binary64_2929` `hang-0m-tan_binary64_2928` `hang-0p-tan_binary64_2927` `tan-+PI/2_binary64_2926` `tan-+PI_binary64_2925` `tan-PI_binary64_2924` `tan-PI/3_binary64_2923` `tan-PI/4_binary64_2922` `tan-PI/6_binary64_2921` `cos-+PI/2_binary64_2920` `cos-+PI_binary64_2919` `cos-PI_binary64_2918` `cos-PI/2_binary64_2917` `cos-PI/3_binary64_2916` `cos-PI/4_binary64_2915` `cos-PI/6_binary64_2914` `sin-+PI/2_binary64_2913` `sin-+PI_binary64_2912` `sin-PI_binary64_2911` `sin-PI/2_binary64_2910` `sin-PI/3_binary64_2909` `sin-PI/4_binary64_2908` `sin-PI/6_binary64_2907` `sub-1-sin_binary64_2906` `sub-1-cos_binary64_2905` `-1-add-sin_binary64_2904` `-1-add-cos_binary64_2903` `1-sub-sin_binary64_2902` `1-sub-cos_binary64_2901` `cos-sin-sum_binary64_2900` `log-E_binary64_2896` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `unpow1/2_binary64_2870` `exp-to-pow_binary64_2868` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-lft-sqr_binary64_2861` `exp-cbrt_binary64_2860` `exp-diff_binary64_2854` `exp-neg_binary64_2853` `exp-sum_binary64_2852` `e-exp-1_binary64_2851` `exp-0_binary64_2848` `rem-exp-log_binary64_2846` `cube-neg_binary64_2833` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `sqr-neg_binary64_2820` `remove-double-neg_binary64_2794` `sub0-neg_binary64_2793` `--rgt-identity_binary64_2792` `mul0-rgt_binary64_2789` `mul0-lft_binary64_2788` `+-inverses_binary64_2785` `lft-mult-inverse_binary64_2784` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776` `cancel-sign-sub_binary64_2771` `distribute-neg-out_binary64_2768` `associate--r-_binary64_2745` `associate--l-_binary64_2744`

Counts

329 → 559

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	284	10289
1	659	9327
2	2266	9057
3	4967	9053

prune1.7s (13.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	558	1	559
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	559	3	562

Error

0.8b

Counts

562 → 3

Compiler

Compiled 16381 to 13318 computations (18.7% saved)

regimes465.0ms (3.7%)

Accuracy

Total 0.4b remaining (61.7%)

Threshold costs 0.4b (61.7%)

Compiler

Compiled 5020 to 3989 computations (20.5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_2736`
2×	`sub-neg_binary64_2799`
1×	`neg-mul-1_binary64_2802` `neg-sub0_binary64_2801` `*-commutative_binary64_2737`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64_3066` `if-if-and_binary64_3065` `if-if-or-not_binary64_3064` `if-if-or_binary64_3063` `if-not_binary64_3062` `if-same_binary64_3061` `if-false_binary64_3060` `if-true_binary64_3059` `tan-0_binary64_2935` `cos-0_binary64_2934` `sin-0_binary64_2933` `unpow1_binary64_2864` `e-exp-1_binary64_2851` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `exp-0_binary64_2848` `sqr-abs_binary64_2821` `sqr-neg_binary64_2820` `unsub-neg_binary64_2800` `mul-1-neg_binary64_2798` `/-rgt-identity_binary64_2797` `-rgt-identity_binary64_2796` `-lft-identity_binary64_2795` `remove-double-neg_binary64_2794` `sub0-neg_binary64_2793` `--rgt-identity_binary64_2792` `+-rgt-identity_binary64_2791` `+-lft-identity_binary64_2790` `cancel-sign-sub-inv_binary64_2772` `cancel-sign-sub_binary64_2771` `distribute-neg-frac_binary64_2770` `distribute-frac-neg_binary64_2769` `distribute-neg-out_binary64_2768` `distribute-neg-in_binary64_2767` `distribute-rgt-neg-out_binary64_2766` `distribute-lft-neg-out_binary64_2765` `distribute-rgt-neg-in_binary64_2764` `distribute-lft-neg-in_binary64_2763`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	12	15
2	17	15
3	19	15
4	20	15

Proof

(exp f64 (- f64 h0 (log f64 (+ f64 (exp f64 h0) (exp f64 h1)))))

end0.0ms (0%)

sample1.3s (10.3%)

Algorithm

1×

intervals

Results

234.0ms	8000×	body	128	valid
16.0ms	710×	body	128	overflowed

Compiler

Compiled 849 to 678 computations (20.1% saved)

Details

analyze77.0ms (0.6%)

sample17.0ms (0.1%)

simplify154.0ms (1.2%)

prune2.0ms (0%)

localize5.0ms (0%)

rewrite51.0ms (0.4%)

series321.0ms (2.5%)

simplify240.0ms (1.9%)

prune130.0ms (1%)

localize6.0ms (0%)

rewrite57.0ms (0.5%)

series82.0ms (0.7%)

simplify780.0ms (6.2%)

prune173.0ms (1.4%)

localize10.0ms (0.1%)

rewrite281.0ms (2.2%)

series182.0ms (1.4%)

simplify877.0ms (6.9%)

prune527.0ms (4.2%)

localize10.0ms (0.1%)

rewrite1.0s (8.1%)

series608.0ms (4.8%)

simplify3.5s (28%)

prune1.7s (13.8%)

regimes465.0ms (3.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.3s (10.3%)

Profiling