Details

analyze395.0ms (7.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

1298×	`associate--r-_binary64_2745`
588×	`div-sub_binary64_2811`
492×	`unsub-neg_binary64_2800`
469×	`sub-neg_binary64_2799`
405×	`distribute-rgt-in_binary64_2756`
381×	`neg-mul-1_binary64_2802`
352×	`neg-sub0_binary64_2801`
318×	`distribute-frac-neg_binary64_2769`
292×	`distribute-lft-in_binary64_2755`
270×	`distribute-rgt-neg-in_binary64_2764`
246×	`distribute-lft-neg-in_binary64_2763`
219×	`associate--r+_binary64_2742`
209×	`*-commutative_binary64_2737`
194×	`cancel-sign-sub-inv_binary64_2772`
188×	`associate-/l*_binary64_2751`
166×	`+-commutative_binary64_2736`
157×	`associate-/r/_binary64_2752`
144×	`remove-double-neg_binary64_2794`
142×	`distribute-rgt-out--_binary64_2760`
137×	`distribute-neg-in_binary64_2767`
126×	`distribute-rgt-neg-out_binary64_2766`
124×	`distribute-lft-neg-out_binary64_2765`
118×	`distribute-lft-out--_binary64_2758`
116×	`distribute-lft-out_binary64_2757` `associate-/l/_binary64_2753`
114×	`distribute-neg-out_binary64_2768`
98×	`distribute-neg-frac_binary64_2770`
96×	`associate-+l-_binary64_2741`
77×	`associate-r_binary64_2746`
69×	`associate-+l+_binary64_2739`
66×	`associate-+r+_binary64_2738`
65×	`associate-/r*_binary64_2750`
56×	`associate-*l/_binary64_2749`
52×	`distribute-rgt-out_binary64_2759`
48×	`associate--l+_binary64_2743`
46×	`associate-+r-_binary64_2740`
38×	`associate-l_binary64_2747`
31×	`/-rgt-identity_binary64_2797`
29×	`sub0-neg_binary64_2793`
28×	`associate-*r/_binary64_2748`
19×	`*-lft-identity_binary64_2795`
17×	`mul0-lft_binary64_2788`
16×	`mul0-rgt_binary64_2789`
15×	`+-rgt-identity_binary64_2791`
14×	`+-lft-identity_binary64_2790`
12×	`*-rgt-identity_binary64_2796`
9×	`div0_binary64_2787`
7×	`+-inverses_binary64_2785` `associate--l-_binary64_2744`
6×	`sqr-neg_binary64_2820` `swap-sqr_binary64_2773`
2×	`*-inverses_binary64_2786` `difference-of-squares_binary64_2775`
1×	`1-exp_binary64_2850` `distribute-rgt1-in_binary64_2762` `distribute-lft1-in_binary64_2761`
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` `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` `rem-sqrt-square_binary64_2819` `rem-square-sqrt_binary64_2818` `times-frac_binary64_2812` `mul-1-neg_binary64_2798` `--rgt-identity_binary64_2792` `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` `unswap-sqr_binary64_2774` `cancel-sign-sub_binary64_2771` `count-2_binary64_2754`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	36	44
2	86	44
3	164	44
4	353	44
5	878	44
6	1312	44
7	1556	44
8	1900	44
9	2477	44
10	2847	44
11	3176	44
12	3392	44
13	3407	44
14	3740	44
15	3520	44
16	3568	44
17	3560	44
18	3592	44
19	3592	44
20	5790	44
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	18.7%	81.3%	0
0%	18.7%	81.3%	1
0%	18.7%	81.3%	2
0%	18.7%	81.3%	3
0%	18.7%	81.3%	4
4.7%	14%	81.3%	5
5.3%	13.5%	81.3%	6
18.1%	0.6%	81.3%	7
18.1%	0.6%	81.3%	8
18.6%	0.1%	81.3%	9
18.6%	0.1%	81.3%	10
18.7%	0%	81.3%	11
18.7%	0%	81.3%	12
18.7%	0%	81.3%	13
18.7%	0%	81.3%	14

Compiler

Compiled 23 to 15 computations (34.8% saved)

sample25.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify174.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

917×	`times-frac_binary64_2812`
687×	`unsub-neg_binary64_2800`
552×	`sub-neg_binary64_2799`
367×	`distribute-lft-neg-in_binary64_2763`
317×	`associate-*l/_binary64_2749`
287×	`associate-/l*_binary64_2751`
271×	`neg-sub0_binary64_2801`
267×	`distribute-rgt-in_binary64_2756`
256×	`distribute-neg-in_binary64_2767`
251×	`+-commutative_binary64_2736`
239×	`div-sub_binary64_2811`
236×	`distribute-neg-out_binary64_2768`
223×	`*-commutative_binary64_2737`
222×	`distribute-rgt-out--_binary64_2760`
208×	`neg-mul-1_binary64_2802`
204×	`distribute-rgt-neg-in_binary64_2764`
188×	`associate-/r*_binary64_2750`
184×	`cancel-sign-sub-inv_binary64_2772`
180×	`distribute-rgt-neg-out_binary64_2766`
173×	`associate-/l/_binary64_2753`
160×	`associate--r+_binary64_2742`
158×	`associate-+l-_binary64_2741`
153×	`distribute-lft-in_binary64_2755`
139×	`distribute-frac-neg_binary64_2769` `distribute-lft-neg-out_binary64_2765`
137×	`distribute-neg-frac_binary64_2770`
128×	`associate--l+_binary64_2743`
122×	`associate-r_binary64_2746`
120×	`*-lft-identity_binary64_2795`
119×	`mul-1-neg_binary64_2798` `distribute-rgt-out_binary64_2759`
95×	`associate-/r/_binary64_2752`
85×	`associate-+r-_binary64_2740`
80×	`associate--l-_binary64_2744`
74×	`associate--r-_binary64_2745`
72×	`remove-double-neg_binary64_2794`
71×	`distribute-lft-out_binary64_2757`
69×	`distribute-lft-out--_binary64_2758`
57×	`associate-+l+_binary64_2739`
55×	`associate-+r+_binary64_2738`
51×	`associate-l_binary64_2747`
41×	`sub0-neg_binary64_2793`
39×	`/-rgt-identity_binary64_2797`
19×	`*-rgt-identity_binary64_2796`
18×	`associate-*r/_binary64_2748`
17×	`mul0-lft_binary64_2788`
15×	`mul0-rgt_binary64_2789`
11×	`distribute-rgt1-in_binary64_2762`
10×	`+-rgt-identity_binary64_2791`
8×	`div0_binary64_2787`
7×	`+-lft-identity_binary64_2790` `swap-sqr_binary64_2773`
5×	`sqr-neg_binary64_2820` `cancel-sign-sub_binary64_2771` `distribute-lft1-in_binary64_2761`
4×	`+-inverses_binary64_2785`
3×	`--rgt-identity_binary64_2792`
2×	`remove-double-div_binary64_2782` `count-2_binary64_2754`
1×	`1-exp_binary64_2850` `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` `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` `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` `rem-sqrt-square_binary64_2819` `rem-square-sqrt_binary64_2818` `*-inverses_binary64_2786` `lft-mult-inverse_binary64_2784` `rgt-mult-inverse_binary64_2783` `pow-sqr_binary64_2779` `sqr-pow_binary64_2778` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776` `unswap-sqr_binary64_2774`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	23	22
2	51	22
3	100	22
4	218	22
5	499	22
6	897	22
7	1954	22
8	2631	22
9	4334	22
10	3926	22
11	4140	22
12	4226	22
13	4228	22
14	4228	22
15	4979	22

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

22.1b

Counts

1 → 1

Compiler

Compiled 15 to 9 computations (40% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 y y))
21.8b	(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))

rewrite70.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

21.7b

Rules

8×	`associate-/l/_binary64_2753`
7×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
5×	`flip3-+_binary64_2809` `flip-+_binary64_2780`
4×	`add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `frac-times_binary64_2816`
3×	`times-frac_binary64_2812` `flip3--_binary64_2810` `flip--_binary64_2781` `associate-/r*_binary64_2750`
2×	`pow1_binary64_2867` `div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `associate-l/_binary64_2749` `associate-r/_binary64_2748` `associate-/r/_binary64_2752`
1×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `frac-2neg_binary64_2817` `clear-num_binary64_2805` `div-inv_binary64_2803` `associate-/l*_binary64_2751` `sum-log_binary64_2897` `+-commutative_binary64_2736`

Counts

2 → 42

Calls

2 calls:

14.0ms	(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))
4.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1154 to 190 computations (83.5% saved)

series371.0ms (6.7%)

Error

0.4b

Counts

2 → 27

Calls

2 calls:

209.0ms	(/.f64 (.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (.f64 x x) (*.f64 y y)))
140.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 828 to 629 computations (24% saved)

simplify59.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

947×	`distribute-rgt-in_binary64_2756`
893×	`distribute-lft-in_binary64_2755`
465×	`times-frac_binary64_2812`
127×	`div-sub_binary64_2811`
71×	`cancel-sign-sub-inv_binary64_2772`
65×	`associate-l_binary64_2747`
61×	`sub-neg_binary64_2799` `associate-/l_binary64_2751` `associate-r*_binary64_2746`
57×	`*-commutative_binary64_2737`
52×	`distribute-rgt-neg-in_binary64_2764`
47×	`unswap-sqr_binary64_2774`
46×	`distribute-lft-neg-in_binary64_2763`
33×	`associate-*l/_binary64_2749`
31×	`associate-/r*_binary64_2750`
29×	`distribute-neg-frac_binary64_2770`
28×	`distribute-lft-neg-out_binary64_2765`
27×	`neg-mul-1_binary64_2802` `neg-sub0_binary64_2801` `sqr-pow_binary64_2778`
26×	`associate-*r/_binary64_2748`
22×	`associate-/l/_binary64_2753`
21×	`+-commutative_binary64_2736`
20×	`distribute-rgt-neg-out_binary64_2766`
19×	`distribute-neg-in_binary64_2767`
14×	`log-div_binary64_2893`
12×	`*-rgt-identity_binary64_2796` `associate-/r/_binary64_2752`
11×	`cube-div_binary64_2835` `distribute-rgt-out--_binary64_2760`
9×	`unsub-neg_binary64_2800`
8×	`difference-of-squares_binary64_2775`
7×	`cube-unmult_binary64_2843` `distribute-rgt-out_binary64_2759`
6×	`/-rgt-identity_binary64_2797` `associate--r+_binary64_2742`
5×	`exp-prod_binary64_2858` `cube-prod_binary64_2834` `associate-+l+_binary64_2739`
4×	`unpow3_binary64_2872` `pow-sqr_binary64_2779` `associate-+r+_binary64_2738`
3×	`swap-sqr_binary64_2773` `distribute-lft-out_binary64_2757` `associate--l+_binary64_2743`
2×	`log-prod_binary64_2892` `unpow2_binary64_2871` `unpow1/2_binary64_2870` `pow-plus_binary64_2869` `unpow1_binary64_2864` `exp-diff_binary64_2854` `cube-mult_binary64_2836` `remove-double-neg_binary64_2794` `*-inverses_binary64_2786` `distribute-lft-out--_binary64_2758` `associate-+l-_binary64_2741` `associate-+r-_binary64_2740`
1×	`log-rec_binary64_2894` `prod-exp_binary64_2855` `exp-sum_binary64_2852` `1-exp_binary64_2850` `*-lft-identity_binary64_2795` `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` `log-pow_binary64_2895` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `exp-to-pow_binary64_2868` `pow-base-1_binary64_2866` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-lft-sqr_binary64_2861` `exp-cbrt_binary64_2860` `exp-sqrt_binary64_2859` `div-exp_binary64_2857` `rec-exp_binary64_2856` `exp-neg_binary64_2853` `e-exp-1_binary64_2851` `exp-1-e_binary64_2849` `exp-0_binary64_2848` `rem-log-exp_binary64_2847` `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` `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_2785` `lft-mult-inverse_binary64_2784` `rgt-mult-inverse_binary64_2783` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776` `cancel-sign-sub_binary64_2771` `distribute-frac-neg_binary64_2769` `distribute-neg-out_binary64_2768` `distribute-rgt1-in_binary64_2762` `distribute-lft1-in_binary64_2761` `count-2_binary64_2754` `associate--l-_binary64_2744`

Counts

69 → 48

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	105	1385
1	350	1208
2	1408	1206
3	5516	1206

prune49.0ms (0.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	3	49

Error

11.0b

Counts

49 → 3

Compiler

Compiled 995 to 238 computations (76.1% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 y y) (.f64 x x))
0.0b	(+.f64 (.f64 x x) (.f64 y y))
21.8b	(/.f64 (-.f64 (.f64 y y) (.f64 x x)) (neg.f64 (+.f64 (.f64 x x) (.f64 y y))))

rewrite131.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

11.0b

Rules

40×	`times-frac_binary64_2812`
29×	`add-cube-cbrt_binary64_2841` `add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806`
15×	`distribute-rgt-neg-in_binary64_2764` `distribute-lft-neg-in_binary64_2763`
12×	`difference-of-squares_binary64_2775`
10×	`associate-/r*_binary64_2750`
7×	`add-log-exp_binary64_2845`
5×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `neg-mul-1_binary64_2802`
4×	`associate-/l*_binary64_2751`
3×	`pow1_binary64_2867`
2×	`flip3--_binary64_2810` `associate-/l/_binary64_2753` `flip--_binary64_2781` `flip3-+_binary64_2809` `distribute-neg-frac_binary64_2770` `associate-/r/_binary64_2752` `flip-+_binary64_2780`
1×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `frac-2neg_binary64_2817` `div-sub_binary64_2811` `clear-num_binary64_2805` `div-inv_binary64_2803` `sum-log_binary64_2897` `+-commutative_binary64_2736` `diff-log_binary64_2898` `sub-neg_binary64_2799` `cancel-sign-sub-inv_binary64_2772`

Counts

3 → 95

Calls

3 calls:

12.0ms	(/.f64 (-.f64 (.f64 y y) (.f64 x x)) (neg.f64 (+.f64 (.f64 x x) (.f64 y y))))
4.0ms	(+.f64 (.f64 x x) (.f64 y y))
4.0ms	(-.f64 (.f64 y y) (.f64 x x))

Compiler

Compiled 2790 to 344 computations (87.7% saved)

series539.0ms (9.8%)

Error

0.4b

Counts

3 → 39

Calls

3 calls:

239.0ms	(/.f64 (-.f64 (.f64 y y) (.f64 x x)) (neg.f64 (+.f64 (.f64 x x) (.f64 y y))))
148.0ms	(-.f64 (.f64 y y) (.f64 x x))
120.0ms	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1302 to 925 computations (29% saved)

simplify146.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

677×	`times-frac_binary64_2812`
477×	`distribute-rgt-in_binary64_2756`
432×	`distribute-lft-in_binary64_2755`
205×	`div-sub_binary64_2811`
144×	`distribute-rgt-neg-in_binary64_2764`
139×	`cancel-sign-sub-inv_binary64_2772`
132×	`distribute-lft-neg-in_binary64_2763`
100×	`associate-/r*_binary64_2750`
95×	`sub-neg_binary64_2799`
93×	`neg-sub0_binary64_2801`
90×	`associate-/l*_binary64_2751`
87×	`distribute-neg-frac_binary64_2770`
83×	`neg-mul-1_binary64_2802`
76×	`distribute-neg-in_binary64_2767` `distribute-lft-neg-out_binary64_2765`
68×	`distribute-rgt-neg-out_binary64_2766`
60×	`associate-r_binary64_2746`
51×	`associate-l_binary64_2747`
50×	`unswap-sqr_binary64_2774` `associate-/l/_binary64_2753`
45×	`*-commutative_binary64_2737`
43×	`distribute-frac-neg_binary64_2769`
31×	`log-prod_binary64_2892`
29×	`unsub-neg_binary64_2800`
28×	`sqr-pow_binary64_2778`
22×	`+-commutative_binary64_2736`
21×	`exp-prod_binary64_2858` `distribute-rgt-out_binary64_2759`
20×	`difference-of-squares_binary64_2775`
18×	`exp-sum_binary64_2852`
17×	`associate-*l/_binary64_2749`
16×	`log-div_binary64_2893` `associate-/r/_binary64_2752`
15×	`associate-*r/_binary64_2748`
13×	`*-rgt-identity_binary64_2796`
11×	`exp-diff_binary64_2854` `cube-prod_binary64_2834`
9×	`remove-double-neg_binary64_2794`
8×	`cube-div_binary64_2835` `distribute-rgt-out--_binary64_2760`
7×	`/-rgt-identity_binary64_2797` `associate--r+_binary64_2742`
6×	`cube-unmult_binary64_2843` `div0_binary64_2787` `swap-sqr_binary64_2773`
5×	`associate-+l+_binary64_2739`
4×	`unpow3_binary64_2872` `pow-sqr_binary64_2779`
3×	`distribute-lft-out_binary64_2757` `associate-+r-_binary64_2740`
2×	`log-rec_binary64_2894` `unpow2_binary64_2871` `unpow1/2_binary64_2870` `pow-plus_binary64_2869` `unpow1_binary64_2864` `cube-mult_binary64_2836` `mul-1-neg_binary64_2798` `+-rgt-identity_binary64_2791` `distribute-neg-out_binary64_2768` `distribute-lft-out--_binary64_2758` `associate--r-_binary64_2745` `associate-+l-_binary64_2741` `associate-+r+_binary64_2738`
1×	`div-exp_binary64_2857` `prod-exp_binary64_2855` `1-exp_binary64_2850` `sqr-neg_binary64_2820` `*-lft-identity_binary64_2795` `sub0-neg_binary64_2793` `cancel-sign-sub_binary64_2771`
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` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `exp-to-pow_binary64_2868` `pow-base-1_binary64_2866` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-lft-sqr_binary64_2861` `exp-cbrt_binary64_2860` `exp-sqrt_binary64_2859` `rec-exp_binary64_2856` `exp-neg_binary64_2853` `e-exp-1_binary64_2851` `exp-1-e_binary64_2849` `exp-0_binary64_2848` `rem-log-exp_binary64_2847` `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` `rem-sqrt-square_binary64_2819` `rem-square-sqrt_binary64_2818` `--rgt-identity_binary64_2792` `+-lft-identity_binary64_2790` `mul0-rgt_binary64_2789` `mul0-lft_binary64_2788` `*-inverses_binary64_2786` `+-inverses_binary64_2785` `lft-mult-inverse_binary64_2784` `rgt-mult-inverse_binary64_2783` `remove-double-div_binary64_2782` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776` `distribute-rgt1-in_binary64_2762` `distribute-lft1-in_binary64_2761` `count-2_binary64_2754` `associate--l-_binary64_2744` `associate--l+_binary64_2743`

Counts

134 → 114

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	169	3628
1	459	3449
2	1531	3449
3	4958	3449
4	4949	3449

prune108.0ms (2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

11.0b

Counts

117 → 3

Compiler

Compiled 2821 to 384 computations (86.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 -1 (.f64 2 (/.f64 (.f64 x x) (*.f64 y y))))
0.0b	(.f64 2 (/.f64 (.f64 x x) (*.f64 y y)))
20.5b	(/.f64 (.f64 x x) (.f64 y y))

rewrite84.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

33×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
13×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839`
8×	`div-exp_binary64_2857` `cbrt-undiv_binary64_2840` `add-sqr-sqrt_binary64_2828`
5×	`pow1_binary64_2867` `add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841` `-un-lft-identity_binary64_2806` `associate-r*_binary64_2746`
3×	`times-frac_binary64_2812` `associate-l_binary64_2747`
2×	`div-inv_binary64_2803` `unswap-sqr_binary64_2774`
1×	`frac-2neg_binary64_2817` `clear-num_binary64_2805` `associate-/l_binary64_2751` `associate-/r_binary64_2750` `pow-prod-down_binary64_2877` `associate-r/_binary64_2748` `-commutative_binary64_2737` `sum-log_binary64_2897` `flip3-+_binary64_2809` `flip-+_binary64_2780` `+-commutative_binary64_2736`

Counts

3 → 62

Calls

3 calls:

10.0ms	(.f64 2 (/.f64 (.f64 x x) (*.f64 y y)))
7.0ms	(/.f64 (.f64 x x) (.f64 y y))
4.0ms	(+.f64 -1 (.f64 2 (/.f64 (.f64 x x) (*.f64 y y))))

Compiler

Compiled 1225 to 483 computations (60.6% saved)

series510.0ms (9.2%)

Error

6.8b

Counts

3 → 24

Calls

3 calls:

204.0ms	(+.f64 -1 (.f64 2 (/.f64 (.f64 x x) (*.f64 y y))))
156.0ms	(.f64 2 (/.f64 (.f64 x x) (*.f64 y y)))
132.0ms	(/.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 654 to 620 computations (5.2% saved)

simplify107.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

732×	`times-frac_binary64_2812`
587×	`associate-*l/_binary64_2749`
558×	`associate-l_binary64_2747`
530×	`associate-*r/_binary64_2748`
425×	`associate-/l*_binary64_2751`
278×	`associate-/r*_binary64_2750`
149×	`log-div_binary64_2893`
127×	`log-prod_binary64_2892`
120×	`associate-/r/_binary64_2752`
100×	`associate-/l/_binary64_2753`
98×	`cube-div_binary64_2835`
84×	`exp-prod_binary64_2858`
54×	`cancel-sign-sub-inv_binary64_2772`
52×	`distribute-rgt-neg-in_binary64_2764`
49×	`associate-r_binary64_2746`
47×	`distribute-rgt-in_binary64_2756`
45×	`*-commutative_binary64_2737`
43×	`distribute-lft-neg-in_binary64_2763`
38×	`distribute-neg-frac_binary64_2770`
36×	`sub-neg_binary64_2799`
29×	`unswap-sqr_binary64_2774`
28×	`distribute-lft-in_binary64_2755`
24×	`sqr-pow_binary64_2778`
21×	`cube-prod_binary64_2834`
19×	`distribute-rgt-neg-out_binary64_2766`
18×	`unpow3_binary64_2872` `distribute-lft-neg-out_binary64_2765`
16×	`neg-sub0_binary64_2801` `distribute-rgt-out_binary64_2759`
13×	`neg-mul-1_binary64_2802`
12×	`swap-sqr_binary64_2773` `+-commutative_binary64_2736`
10×	`log-pow_binary64_2895`
8×	`pow-plus_binary64_2869` `cube-unmult_binary64_2843` `cube-mult_binary64_2836`
6×	`unsub-neg_binary64_2800` `pow-sqr_binary64_2779` `distribute-rgt-out--_binary64_2760` `associate-+r-_binary64_2740`
5×	`exp-lft-sqr_binary64_2861` `prod-exp_binary64_2855` `mul-1-neg_binary64_2798`
4×	`exp-diff_binary64_2854`
3×	`unpow1_binary64_2864` `*-lft-identity_binary64_2795` `distribute-lft-out_binary64_2757` `associate--r+_binary64_2742` `associate-+l-_binary64_2741` `associate-+l+_binary64_2739`
2×	`log-rec_binary64_2894` `unpow2_binary64_2871` `unpow1/2_binary64_2870` `div-exp_binary64_2857` `exp-sum_binary64_2852` `distribute-neg-in_binary64_2767` `distribute-rgt1-in_binary64_2762` `distribute-lft-out--_binary64_2758` `count-2_binary64_2754` `associate--l+_binary64_2743` `associate-+r+_binary64_2738`
1×	`exp-neg_binary64_2853` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `cube-neg_binary64_2833` `sqr-neg_binary64_2820` `rem-sqrt-square_binary64_2819` `remove-double-neg_binary64_2794` `difference-of-sqr--1_binary64_2777` `difference-of-sqr-1_binary64_2776` `distribute-lft1-in_binary64_2761`
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` `exp-to-pow_binary64_2868` `pow-base-1_binary64_2866` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-cbrt_binary64_2860` `exp-sqrt_binary64_2859` `rec-exp_binary64_2856` `e-exp-1_binary64_2851` `exp-0_binary64_2848` `rem-log-exp_binary64_2847` `rem-exp-log_binary64_2846` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `rem-cbrt-cube_binary64_2830` `rem-cube-cbrt_binary64_2829` `sqr-abs_binary64_2821` `rem-square-sqrt_binary64_2818` `div-sub_binary64_2811` `/-rgt-identity_binary64_2797` `-rgt-identity_binary64_2796` `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` `difference-of-squares_binary64_2775` `cancel-sign-sub_binary64_2771` `distribute-frac-neg_binary64_2769` `distribute-neg-out_binary64_2768` `associate--r-_binary64_2745` `associate--l-_binary64_2744`

Counts

86 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	1378
1	251	1190
2	880	1102
3	4431	1096
4	4979	1096
5	4981	1096

prune59.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	56	5	61
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	57	7	64

Error

6.5b

Counts

64 → 7

Compiler

Compiled 846 to 461 computations (45.5% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 -1 (.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))))
0.0b	(.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
0.3b	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

rewrite88.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

15×	`pow1_binary64_2867`
11×	`add-sqr-sqrt_binary64_2828`
10×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842`
8×	`add-cube-cbrt_binary64_2841` `*-un-lft-identity_binary64_2806`
6×	`associate-l_binary64_2747`
5×	`add-log-exp_binary64_2845`
4×	`pow-prod-down_binary64_2877` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `associate-r_binary64_2746`
3×	`swap-sqr_binary64_2773`
2×	`unswap-sqr_binary64_2774` `*-commutative_binary64_2737`
1×	`pow2_binary64_2887` `pow-prod-up_binary64_2876` `pow-plus_binary64_2869` `sqr-abs_binary64_2821` `pow-sqr_binary64_2779` `sum-log_binary64_2897` `flip3-+_binary64_2809` `flip-+_binary64_2780` `+-commutative_binary64_2736`

Counts

3 → 56

Calls

3 calls:

7.0ms	(.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
4.0ms	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))
4.0ms	(+.f64 -1 (.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))))

Compiler

Compiled 1225 to 429 computations (65% saved)

series348.0ms (6.3%)

Error

6.5b

Counts

3 → 18

Calls

3 calls:

143.0ms	(+.f64 -1 (.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))))
113.0ms	(.f64 2 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))))
79.0ms	(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

Compiler

Compiled 540 to 472 computations (12.6% saved)

simplify61.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

700×	`associate-*l/_binary64_2749`
239×	`unswap-sqr_binary64_2774`
231×	`distribute-rgt-neg-in_binary64_2764`
220×	`distribute-rgt-in_binary64_2756`
217×	`cancel-sign-sub-inv_binary64_2772`
189×	`distribute-lft-in_binary64_2755`
178×	`*-commutative_binary64_2737`
175×	`distribute-lft-neg-in_binary64_2763`
139×	`associate-/l*_binary64_2751`
133×	`distribute-rgt-out_binary64_2759`
99×	`log-prod_binary64_2892`
97×	`associate-r_binary64_2746`
94×	`distribute-rgt-neg-out_binary64_2766` `distribute-lft-neg-out_binary64_2765`
84×	`exp-prod_binary64_2858` `cube-prod_binary64_2834`
79×	`associate-l_binary64_2747`
74×	`sqr-pow_binary64_2778`
72×	`associate-*r/_binary64_2748`
69×	`unsub-neg_binary64_2800`
60×	`neg-sub0_binary64_2801`
55×	`neg-mul-1_binary64_2802`
50×	`distribute-neg-out_binary64_2768`
48×	`distribute-neg-frac_binary64_2770`
47×	`swap-sqr_binary64_2773`
45×	`sub-neg_binary64_2799`
35×	`distribute-rgt-out--_binary64_2760`
25×	`associate-/r*_binary64_2750`
22×	`pow-sqr_binary64_2779` `associate-/l/_binary64_2753`
20×	`log-div_binary64_2893` `cube-div_binary64_2835` `distribute-lft-out_binary64_2757`
19×	`associate-+l+_binary64_2739`
17×	`associate-+r+_binary64_2738`
16×	`associate-/r/_binary64_2752`
14×	`unpow3_binary64_2872` `+-commutative_binary64_2736`
11×	`pow-plus_binary64_2869`
10×	`cube-mult_binary64_2836` `distribute-neg-in_binary64_2767`
9×	`distribute-rgt1-in_binary64_2762`
8×	`*-rgt-identity_binary64_2796` `remove-double-neg_binary64_2794`
7×	`*-lft-identity_binary64_2795`
6×	`log-pow_binary64_2895` `exp-lft-sqr_binary64_2861` `exp-diff_binary64_2854` `mul-1-neg_binary64_2798` `difference-of-sqr-1_binary64_2776` `associate-+l-_binary64_2741`
5×	`prod-exp_binary64_2855` `cube-unmult_binary64_2843` `sqr-neg_binary64_2820` `count-2_binary64_2754` `associate-+r-_binary64_2740`
4×	`cube-neg_binary64_2833` `rem-sqrt-square_binary64_2819`
3×	`sub0-neg_binary64_2793` `distribute-lft1-in_binary64_2761` `associate--l-_binary64_2744`
2×	`unpow1/2_binary64_2870` `div-exp_binary64_2857` `exp-sum_binary64_2852` `times-frac_binary64_2812` `--rgt-identity_binary64_2792` `associate--r-_binary64_2745`
1×	`unpow2_binary64_2871` `unpow1_binary64_2864` `1-exp_binary64_2850` `exp-1-e_binary64_2849` `rem-3cbrt-rft_binary64_2832` `rem-3cbrt-lft_binary64_2831` `sqr-abs_binary64_2821` `rem-square-sqrt_binary64_2818` `difference-of-sqr--1_binary64_2777` `distribute-lft-out--_binary64_2758` `associate--l+_binary64_2743`
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-rec_binary64_2894` `pow-base-0_binary64_2890` `unpow1/3_binary64_2873` `exp-to-pow_binary64_2868` `pow-base-1_binary64_2866` `unpow0_binary64_2865` `unpow-1_binary64_2863` `exp-lft-cube_binary64_2862` `exp-cbrt_binary64_2860` `exp-sqrt_binary64_2859` `rec-exp_binary64_2856` `exp-neg_binary64_2853` `e-exp-1_binary64_2851` `exp-0_binary64_2848` `rem-log-exp_binary64_2847` `rem-exp-log_binary64_2846` `rem-cbrt-cube_binary64_2830` `rem-cube-cbrt_binary64_2829` `div-sub_binary64_2811` `/-rgt-identity_binary64_2797` `+-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` `difference-of-squares_binary64_2775` `cancel-sign-sub_binary64_2771` `distribute-frac-neg_binary64_2769` `associate--r+_binary64_2742`

Counts

74 → 45

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	79	1131
1	174	980
2	540	931
3	1433	913
4	5129	913

prune50.0ms (0.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	41	11	52

Error

6.5b

Counts

52 → 11

Compiler

Compiled 676 to 401 computations (40.7% saved)

regimes437.0ms (7.9%)

Accuracy

Total 4.5b remaining (93.4%)

Threshold costs 0b (0%)

Compiler

Compiled 2762 to 1748 computations (36.7% saved)

bsearch74.0ms (1.3%)

Steps

Iters	Range	Point
5	2.6244843703950568e-173	6.2971264960308614e-173	6.230209348455822e-173
10	-2.765993087150469e-154	-2.230656812481504e-164	-1.5543412890393429e-162
9	-2.0429791248341353e+157	-7.32550086869885e+151	-1.3574780207067694e+154

Iters

Range

Point

2.6244843703950568e-173

6.2971264960308614e-173

6.230209348455822e-173

-2.765993087150469e-154

-2.230656812481504e-164

-1.5543412890393429e-162

-2.0429791248341353e+157

-7.32550086869885e+151

-1.3574780207067694e+154

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64_2736`
7×	`sub-neg_binary64_2799` `*-commutative_binary64_2737`
5×	`neg-mul-1_binary64_2802` `neg-sub0_binary64_2801`
2×	`unsub-neg_binary64_2800` `distribute-neg-in_binary64_2767` `distribute-rgt-neg-in_binary64_2764`
1×	`1-exp_binary64_2850` `sqr-abs_binary64_2821` `cancel-sign-sub-inv_binary64_2772` `distribute-lft-neg-out_binary64_2765` `distribute-lft-neg-in_binary64_2763`
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` `exp-1-e_binary64_2849` `exp-0_binary64_2848` `sqr-neg_binary64_2820` `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_binary64_2771` `distribute-neg-frac_binary64_2770` `distribute-frac-neg_binary64_2769` `distribute-neg-out_binary64_2768` `distribute-rgt-neg-out_binary64_2766`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	137
1	57	137
2	73	137
3	83	137
4	87	137
5	86	137

end0.0ms (0%)

sample1.6s (28.8%)

Algorithm

1×

intervals

Results

302.0ms	8000×	body	128	valid
165.0ms	8000×	pre	128	true

Compiler

Compiled 1010 to 625 computations (38.1% saved)

Details

analyze395.0ms (7.2%)

sample25.0ms (0.5%)

simplify174.0ms (3.2%)

prune2.0ms (0%)

localize9.0ms (0.2%)

rewrite70.0ms (1.3%)

series371.0ms (6.7%)

simplify59.0ms (1.1%)

prune49.0ms (0.9%)

localize10.0ms (0.2%)

rewrite131.0ms (2.4%)

series539.0ms (9.8%)

simplify146.0ms (2.6%)

prune108.0ms (2%)

localize7.0ms (0.1%)

rewrite84.0ms (1.5%)

series510.0ms (9.2%)

simplify107.0ms (1.9%)

prune59.0ms (1.1%)

localize7.0ms (0.1%)

rewrite88.0ms (1.6%)

series348.0ms (6.3%)

simplify61.0ms (1.1%)

prune50.0ms (0.9%)

regimes437.0ms (7.9%)

bsearch74.0ms (1.3%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.6s (28.8%)

Profiling