Details

analyze5.0ms (0%)

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
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample24.0ms (0.1%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify158.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_690

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_1023 erf-erfc_binary64_1022 erf-odd_binary64_1021 if-if-and-not_binary64_1020 if-if-and_binary64_1019 if-if-or-not_binary64_1018 if-if-or_binary64_1017 if-not_binary64_1016 if-same_binary64_1015 if-false_binary64_1014 if-true_binary64_1013 not-gte_binary64_1012 not-lte_binary64_1011 not-gt_binary64_1010 not-lt_binary64_1009 gte-same_binary64_1008 lte-same_binary64_1007 gt-same_binary64_1006 lt-same_binary64_1005 sinh---cosh_binary64_952 sinh-+-cosh_binary64_951 sinh-cosh_binary64_950 tanh-def-c_binary64_949 tanh-def-b_binary64_948 tanh-def-a_binary64_947 cosh-def_binary64_946 sinh-def_binary64_945 tan-neg_binary64_892 cos-neg_binary64_891 sin-neg_binary64_890 tan-0_binary64_889 cos-0_binary64_888 sin-0_binary64_887 hang-m-tan_binary64_886 hang-p-tan_binary64_885 hang-m0-tan_binary64_884 hang-p0-tan_binary64_883 hang-0m-tan_binary64_882 hang-0p-tan_binary64_881 tan-+PI/2_binary64_880 tan-+PI_binary64_879 tan-PI_binary64_878 tan-PI/3_binary64_877 tan-PI/4_binary64_876 tan-PI/6_binary64_875 cos-+PI/2_binary64_874 cos-+PI_binary64_873 cos-PI_binary64_872 cos-PI/2_binary64_871 cos-PI/3_binary64_870 cos-PI/4_binary64_869 cos-PI/6_binary64_868 sin-+PI/2_binary64_867 sin-+PI_binary64_866 sin-PI_binary64_865 sin-PI/2_binary64_864 sin-PI/3_binary64_863 sin-PI/4_binary64_862 sin-PI/6_binary64_861 sub-1-sin_binary64_860 sub-1-cos_binary64_859 -1-add-sin_binary64_858 -1-add-cos_binary64_857 1-sub-sin_binary64_856 1-sub-cos_binary64_855 cos-sin-sum_binary64_854 log-E_binary64_850 log-pow_binary64_849 log-rec_binary64_848 log-div_binary64_847 log-prod_binary64_846 pow-base-0_binary64_844 unpow1/3_binary64_827 unpow3_binary64_826 unpow2_binary64_825 unpow1/2_binary64_824 pow-plus_binary64_823 exp-to-pow_binary64_822 pow-base-1_binary64_820 unpow0_binary64_819 unpow1_binary64_818 unpow-1_binary64_817 exp-lft-cube_binary64_816 exp-lft-sqr_binary64_815 exp-cbrt_binary64_814 exp-sqrt_binary64_813 exp-prod_binary64_812 div-exp_binary64_811 rec-exp_binary64_810 prod-exp_binary64_809 exp-diff_binary64_808 exp-neg_binary64_807 exp-sum_binary64_806 e-exp-1_binary64_805 1-exp_binary64_804 exp-1-e_binary64_803 exp-0_binary64_802 rem-log-exp_binary64_801 rem-exp-log_binary64_800 cube-unmult_binary64_797 cube-mult_binary64_790 cube-div_binary64_789 cube-prod_binary64_788 cube-neg_binary64_787 rem-3cbrt-rft_binary64_786 rem-3cbrt-lft_binary64_785 rem-cbrt-cube_binary64_784 rem-cube-cbrt_binary64_783 sqr-abs_binary64_775 sqr-neg_binary64_774 rem-sqrt-square_binary64_773 rem-square-sqrt_binary64_772 times-frac_binary64_766 div-sub_binary64_765 neg-mul-1_binary64_756 neg-sub0_binary64_755 unsub-neg_binary64_754 sub-neg_binary64_753 mul-1-neg_binary64_752 /-rgt-identity_binary64_751 *-rgt-identity_binary64_750 *-lft-identity_binary64_749 remove-double-neg_binary64_748 sub0-neg_binary64_747 --rgt-identity_binary64_746 +-rgt-identity_binary64_745 +-lft-identity_binary64_744 mul0-rgt_binary64_743 mul0-lft_binary64_742 div0_binary64_741 *-inverses_binary64_740 +-inverses_binary64_739 lft-mult-inverse_binary64_738 rgt-mult-inverse_binary64_737 remove-double-div_binary64_736 pow-sqr_binary64_733 sqr-pow_binary64_732 difference-of-sqr--1_binary64_731 difference-of-sqr-1_binary64_730 difference-of-squares_binary64_729 unswap-sqr_binary64_728 swap-sqr_binary64_727 cancel-sign-sub-inv_binary64_726 cancel-sign-sub_binary64_725 distribute-neg-frac_binary64_724 distribute-frac-neg_binary64_723 distribute-neg-out_binary64_722 distribute-neg-in_binary64_721 distribute-rgt-neg-out_binary64_720 distribute-lft-neg-out_binary64_719 distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717 distribute-rgt1-in_binary64_716 distribute-lft1-in_binary64_715 distribute-rgt-out--_binary64_714 distribute-rgt-out_binary64_713 distribute-lft-out--_binary64_712 distribute-lft-out_binary64_711 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_709 count-2_binary64_708 associate-/l/_binary64_707 associate-/r/_binary64_706 associate-/l*_binary64_705 associate-/r*_binary64_704 associate-*l/_binary64_703 associate-*r/_binary64_702 associate-*l*_binary64_701 associate-*r*_binary64_700 associate--r-_binary64_699 associate--l-_binary64_698 associate--l+_binary64_697 associate--r+_binary64_696 associate-+l-_binary64_695 associate-+r-_binary64_694 associate-+l+_binary64_693 associate-+r+_binary64_692 *-commutative_binary64_691

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	12	19

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

31.9b

Counts

1 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.6b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
29.5b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite127.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

31.7b

Rules

24×	`times-frac_binary64_766`
22×	`log-pow_binary64_849`
21×	`pow1_binary64_821`
17×	`add-sqr-sqrt_binary64_782`
16×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
6×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `associate-/l*_binary64_705`
5×	`add-log-exp_binary64_799` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`sqrt-div_binary64_777` `associate-/r*_binary64_704`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `sqrt-prod_binary64_776`
2×	`log-div_binary64_847` `div-sub_binary64_765`
1×	`rem-sqrt-square_binary64_773` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757` `sum-log_binary64_851` `+-commutative_binary64_690`

Counts

3 → 74

Calls

3 calls:

7.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1643 to 596 computations (63.7% saved)

series645.0ms (2.7%)

Error

1.0b

Counts

3 → 43

Calls

3 calls:

303.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
164.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
133.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1611 to 1441 computations (10.6% saved)

simplify226.0ms (1%)

Algorithm

1×	egg-herbie

Rules

631×	`cancel-sign-sub-inv_binary64_726`
473×	`unswap-sqr_binary64_728`
280×	`associate-l_binary64_701`
255×	`times-frac_binary64_766`
249×	`associate-/l_binary64_705` `associate-r*_binary64_700`
181×	`sub-neg_binary64_753`
180×	`associate-/r*_binary64_704`
119×	`associate-/l/_binary64_707`
115×	`associate-*l/_binary64_703`
111×	`*-commutative_binary64_691`
107×	`associate-*r/_binary64_702`
106×	`sqr-pow_binary64_732`
100×	`neg-sub0_binary64_755`
96×	`neg-mul-1_binary64_756`
76×	`associate-/r/_binary64_706`
74×	`distribute-rgt-in_binary64_710`
71×	`distribute-rgt-neg-in_binary64_718`
68×	`div-sub_binary64_765`
66×	`unsub-neg_binary64_754`
64×	`pow-sqr_binary64_733`
62×	`distribute-lft-neg-in_binary64_717`
55×	`distribute-lft-in_binary64_709`
51×	`+-commutative_binary64_690`
48×	`difference-of-squares_binary64_729`
45×	`distribute-neg-frac_binary64_724`
40×	`sub0-neg_binary64_747`
39×	`pow-plus_binary64_823`
37×	`associate-+l-_binary64_695`
33×	`associate-+r-_binary64_694`
30×	`/-rgt-identity_binary64_751`
28×	`*-lft-identity_binary64_749`
27×	`associate-+l+_binary64_693`
25×	`log-div_binary64_847`
23×	`cube-prod_binary64_788`
21×	`+-rgt-identity_binary64_745`
20×	`associate--l-_binary64_698`
19×	`exp-prod_binary64_812` `associate-+r+_binary64_692`
18×	`*-rgt-identity_binary64_750`
16×	`log-prod_binary64_846` `cube-unmult_binary64_797` `+-lft-identity_binary64_744` `distribute-lft-neg-out_binary64_719`
12×	`distribute-rgt-out_binary64_713`
10×	`mul-1-neg_binary64_752` `distribute-neg-in_binary64_721`
9×	`cube-div_binary64_789`
8×	`unpow3_binary64_826` `swap-sqr_binary64_727` `associate--r+_binary64_696`
7×	`distribute-rgt-out--_binary64_714` `associate--r-_binary64_699` `associate--l+_binary64_697`
6×	`log-rec_binary64_848` `remove-double-neg_binary64_748` `distribute-neg-out_binary64_722`
4×	`cube-mult_binary64_790` `distribute-lft-out_binary64_711`
3×	`log-pow_binary64_849` `rem-sqrt-square_binary64_773`
2×	`unpow2_binary64_825` `unpow1_binary64_818` `exp-sqrt_binary64_813` `--rgt-identity_binary64_746` `distribute-frac-neg_binary64_723`
1×	`div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-diff_binary64_808` `1-exp_binary64_804` `rem-log-exp_binary64_801` `rem-square-sqrt_binary64_772` `mul0-lft_binary64_742` `div0_binary64_741` `*-inverses_binary64_740` `distribute-rgt-neg-out_binary64_720` `distribute-lft1-in_binary64_715` `distribute-lft-out--_binary64_712` `count-2_binary64_708`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `mul0-rgt_binary64_743` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `cancel-sign-sub_binary64_725` `distribute-rgt1-in_binary64_716`

Counts

117 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	177	2578
1	401	2470
2	1220	2458
3	3528	2458

prune265.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	171	13	184
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	13	185

Error

0.6b

Counts

185 → 13

Compiler

Compiled 4522 to 2484 computations (45.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.3b	(.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2)) (/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10))))
0.5b	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
30.6b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite361.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

61×	`times-frac_binary64_766`
52×	`add-exp-log_binary64_798`
49×	`add-sqr-sqrt_binary64_782`
41×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
37×	`sqrt-prod_binary64_776`
32×	`associate-r_binary64_700`
31×	`pow1_binary64_821`
27×	`add-cbrt-cube_binary64_796`
25×	`log-pow_binary64_849`
20×	`prod-exp_binary64_809`
16×	`div-exp_binary64_811`
8×	`cbrt-undiv_binary64_794` `cbrt-unprod_binary64_793`
7×	`associate-/r_binary64_704` `associate-l*_binary64_701`
6×	`add-log-exp_binary64_799`
4×	`log-div_binary64_847` `associate-/l*_binary64_705` `1-exp_binary64_804` `rec-exp_binary64_810`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `log-prod_binary64_846` `div-inv_binary64_757` `unswap-sqr_binary64_728`
2×	`div-sub_binary64_765`
1×	`rem-log-exp_binary64_801` `frac-2neg_binary64_771` `clear-num_binary64_759` `pow-prod-down_binary64_831` `frac-times_binary64_770` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691` `sum-log_binary64_851` `+-commutative_binary64_690`

Counts

4 → 152

Calls

4 calls:

18.0ms	(.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2)) (/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10))))
7.0ms	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 4967 to 2847 computations (42.7% saved)

series1.2s (4.9%)

Error

0.5b

Counts

4 → 54

Calls

4 calls:

383.0ms	(/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10)))
349.0ms	(.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2)) (/.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (log.f64 10))))
205.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
137.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 3312 to 3116 computations (5.9% saved)

simplify718.0ms (3%)

Algorithm

1×	egg-herbie

Rules

579×	`associate-/r*_binary64_704`
344×	`associate-/r/_binary64_706`
192×	`associate-r_binary64_700`
164×	`associate-*l/_binary64_703`
162×	`associate-l_binary64_701`
156×	`times-frac_binary64_766`
155×	`associate-/l*_binary64_705`
154×	`associate-*r/_binary64_702`
152×	`*-commutative_binary64_691`
139×	`cancel-sign-sub-inv_binary64_726`
103×	`distribute-rgt-neg-in_binary64_718`
97×	`distribute-rgt-in_binary64_710`
94×	`sub-neg_binary64_753`
88×	`log-prod_binary64_846`
85×	`distribute-lft-neg-in_binary64_717`
83×	`log-div_binary64_847`
78×	`associate-/l/_binary64_707`
74×	`distribute-lft-in_binary64_709`
70×	`neg-sub0_binary64_755` `unswap-sqr_binary64_728` `associate-+l-_binary64_695`
69×	`+-commutative_binary64_690`
66×	`neg-mul-1_binary64_756`
59×	`associate-+r-_binary64_694`
58×	`exp-prod_binary64_812` `div-sub_binary64_765`
55×	`cube-prod_binary64_788`
54×	`sqr-pow_binary64_732`
52×	`distribute-lft-neg-out_binary64_719`
48×	`associate-+l+_binary64_693`
47×	`cube-div_binary64_789`
43×	`associate-+r+_binary64_692`
38×	`associate--l-_binary64_698`
35×	`*-lft-identity_binary64_749`
34×	`pow-plus_binary64_823` `associate--r+_binary64_696`
31×	`distribute-neg-frac_binary64_724`
26×	`*-rgt-identity_binary64_750` `pow-sqr_binary64_733`
24×	`/-rgt-identity_binary64_751` `distribute-rgt-neg-out_binary64_720`
23×	`log-rec_binary64_848` `associate--l+_binary64_697`
20×	`distribute-neg-in_binary64_721`
17×	`unpow3_binary64_826` `associate--r-_binary64_699`
16×	`log-pow_binary64_849` `distribute-rgt-out_binary64_713`
15×	`swap-sqr_binary64_727`
14×	`cube-unmult_binary64_797`
13×	`difference-of-squares_binary64_729` `distribute-rgt-out--_binary64_714`
11×	`cube-mult_binary64_790` `unsub-neg_binary64_754`
10×	`exp-sqrt_binary64_813` `remove-double-neg_binary64_748`
9×	`exp-lft-sqr_binary64_815` `distribute-neg-out_binary64_722`
8×	`mul-1-neg_binary64_752` `distribute-frac-neg_binary64_723` `distribute-lft-out_binary64_711`
6×	`rem-sqrt-square_binary64_773`
5×	`prod-exp_binary64_809`
3×	`count-2_binary64_708`
2×	`unpow2_binary64_825` `exp-to-pow_binary64_822` `unpow1_binary64_818` `sub0-neg_binary64_747` `cancel-sign-sub_binary64_725`
1×	`log-E_binary64_850` `pow-base-1_binary64_820` `div-exp_binary64_811` `rec-exp_binary64_810` `exp-diff_binary64_808` `1-exp_binary64_804` `exp-1-e_binary64_803` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `rem-cbrt-cube_binary64_784` `rem-square-sqrt_binary64_772` `div0_binary64_741` `*-inverses_binary64_740` `remove-double-div_binary64_736` `distribute-rgt1-in_binary64_716` `distribute-lft-out--_binary64_712`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-cbrt_binary64_814` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-0_binary64_802` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `distribute-lft1-in_binary64_715`

Counts

206 → 403

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	294	6250
1	760	5323
2	2694	5256
3	4801	5256

prune891.0ms (3.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	392	11	403
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	399	17	416

Error

0.3b

Counts

416 → 17

Compiler

Compiled 12698 to 7256 computations (42.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (sqrt.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2))) (.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10)))))))
0.4b	(.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10))))))
0.5b	(/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10)))
30.6b	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

rewrite562.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

66×	`times-frac_binary64_766`
61×	`add-sqr-sqrt_binary64_782`
55×	`sqrt-prod_binary64_776`
45×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
42×	`associate-l_binary64_701`
36×	`pow1_binary64_821`
25×	`log-pow_binary64_849`
21×	`add-exp-log_binary64_798`
20×	`add-cbrt-cube_binary64_796`
11×	`associate-r_binary64_700`
10×	`sqrt-div_binary64_777`
7×	`associate-/r*_binary64_704` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
6×	`frac-times_binary64_770` `unswap-sqr_binary64_728` `associate-*r/_binary64_702`
4×	`log-div_binary64_847` `add-log-exp_binary64_799` `div-inv_binary64_757` `associate-/l_binary64_705` `pow-prod-down_binary64_831` `associate-l/_binary64_703`
3×	`log-prod_binary64_846` `div-exp_binary64_811` `cbrt-undiv_binary64_794`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `div-sub_binary64_765` `*-commutative_binary64_691`
1×	`rem-log-exp_binary64_801` `frac-2neg_binary64_771` `clear-num_binary64_759`

Counts

4 → 165

Calls

4 calls:

25.0ms	(.f64 (sqrt.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2))) (.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10)))))))
19.0ms	(.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10))))))
8.0ms	(/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10)))
4.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 7162 to 4961 computations (30.7% saved)

series2.1s (8.7%)

Error

0.2b

Counts

4 → 56

Calls

4 calls:

812.0ms	(.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10))))))
511.0ms	(.f64 (sqrt.f64 (/.f64 1 (.f64 (sqrt.f64 (log.f64 10)) 2))) (.f64 (/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1 (.f64 2 (sqrt.f64 (log.f64 10)))))))
397.0ms	(/.f64 (log.f64 (+.f64 (.f64 im im) (.f64 re re))) (sqrt.f64 (log.f64 10)))
197.0ms	(log.f64 (+.f64 (.f64 im im) (.f64 re re)))

Compiler

Compiled 5338 to 5092 computations (4.6% saved)

simplify752.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

408×	`associate-/r*_binary64_704`
323×	`associate-r_binary64_700`
280×	`cancel-sign-sub-inv_binary64_726`
259×	`distribute-rgt-neg-in_binary64_718`
254×	`associate-l_binary64_701`
240×	`associate-/r/_binary64_706`
212×	`distribute-lft-neg-in_binary64_717`
196×	`*-commutative_binary64_691`
195×	`associate-/l/_binary64_707`
133×	`distribute-lft-neg-out_binary64_719`
131×	`associate-/l*_binary64_705`
122×	`associate-*l/_binary64_703`
116×	`unswap-sqr_binary64_728`
103×	`neg-mul-1_binary64_756` `associate-*r/_binary64_702`
102×	`distribute-rgt-in_binary64_710`
100×	`neg-sub0_binary64_755`
99×	`sub-neg_binary64_753`
98×	`distribute-rgt-neg-out_binary64_720`
95×	`times-frac_binary64_766`
88×	`distribute-lft-in_binary64_709`
77×	`distribute-neg-frac_binary64_724`
57×	`sqr-pow_binary64_732`
53×	`+-commutative_binary64_690`
31×	`pow-sqr_binary64_733`
30×	`log-prod_binary64_846`
27×	`distribute-rgt-out--_binary64_714`
26×	`*-rgt-identity_binary64_750`
25×	`distribute-rgt-out_binary64_713`
20×	`log-div_binary64_847`
15×	`pow-plus_binary64_823` `cube-prod_binary64_788` `distribute-neg-in_binary64_721`
14×	`exp-prod_binary64_812` `swap-sqr_binary64_727` `cancel-sign-sub_binary64_725`
13×	`difference-of-squares_binary64_729`
12×	`*-lft-identity_binary64_749` `distribute-frac-neg_binary64_723`
11×	`unsub-neg_binary64_754` `distribute-lft-out_binary64_711`
9×	`cube-unmult_binary64_797` `div-sub_binary64_765` `associate--l+_binary64_697`
8×	`cube-div_binary64_789` `associate--r+_binary64_696`
7×	`unpow3_binary64_826` `rem-sqrt-square_binary64_773` `remove-double-neg_binary64_748` `distribute-lft-out--_binary64_712`
6×	`log-pow_binary64_849` `rem-square-sqrt_binary64_772` `/-rgt-identity_binary64_751`
5×	`log-rec_binary64_848`
4×	`distribute-neg-out_binary64_722` `associate-+l+_binary64_693`
3×	`unpow2_binary64_825` `unpow1_binary64_818` `cube-mult_binary64_790` `associate-+l-_binary64_695` `associate-+r-_binary64_694` `associate-+r+_binary64_692`
2×	`count-2_binary64_708`
1×	`exp-to-pow_binary64_822` `exp-sqrt_binary64_813` `div-exp_binary64_811` `rec-exp_binary64_810` `1-exp_binary64_804` `exp-1-e_binary64_803` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `*-inverses_binary64_740`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `prod-exp_binary64_809` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-0_binary64_802` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `mul-1-neg_binary64_752` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `associate--r-_binary64_699` `associate--l-_binary64_698`

Counts

221 → 617

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	357	8509
1	912	7360
2	2969	7246

prune2.8s (11.8%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	608	9	617
Fresh	5	11	16
Picked	0	1	1
Done	0	0	0
Total	613	21	634

Error

0.2b

Counts

634 → 21

Compiler

Compiled 26672 to 18683 computations (30% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
29.5b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
29.5b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
29.5b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite135.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

11×	`add-sqr-sqrt_binary64_782`
9×	`pow1_binary64_821` `sqrt-prod_binary64_776`
8×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
6×	`sqrt-div_binary64_777` `cbrt-prod_binary64_791`
4×	`pow1/2_binary64_840` `add-log-exp_binary64_799` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `sqrt-pow1_binary64_778`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `rem-sqrt-square_binary64_773` `log-pow_binary64_849`
1×	`pow1/3_binary64_842`

Counts

4 → 59

Calls

4 calls:

4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
1.0ms	(cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))

Compiler

Compiled 2911 to 777 computations (73.3% saved)

series926.0ms (3.9%)

Error

0.2b

Counts

4 → 61

Calls

4 calls:

216.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
206.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
204.0ms	(cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
188.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 6560 to 3799 computations (42.1% saved)

simplify216.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

764×	`associate-/l*_binary64_705`
360×	`cancel-sign-sub-inv_binary64_726`
338×	`unswap-sqr_binary64_728`
215×	`distribute-rgt-neg-in_binary64_718`
198×	`distribute-lft-neg-in_binary64_717`
183×	`associate-/r/_binary64_706`
179×	`associate-r_binary64_700`
175×	`distribute-rgt-in_binary64_710`
163×	`associate-l_binary64_701`
156×	`associate-/l/_binary64_707`
146×	`distribute-neg-frac_binary64_724`
144×	`distribute-lft-in_binary64_709`
127×	`sqr-pow_binary64_732`
113×	`sub-neg_binary64_753`
85×	`times-frac_binary64_766`
84×	`pow-sqr_binary64_733`
80×	`neg-sub0_binary64_755`
74×	`neg-mul-1_binary64_756`
70×	`associate-/r*_binary64_704`
69×	`*-commutative_binary64_691`
56×	`associate-*l/_binary64_703`
52×	`associate-*r/_binary64_702`
51×	`distribute-lft-neg-out_binary64_719`
48×	`difference-of-squares_binary64_729`
43×	`pow-plus_binary64_823`
41×	`distribute-rgt-out_binary64_713` `+-commutative_binary64_690`
31×	`distribute-rgt-neg-out_binary64_720`
29×	`associate-+r-_binary64_694`
24×	`div-sub_binary64_765`
23×	`associate-+l-_binary64_695`
20×	`distribute-neg-in_binary64_721` `distribute-rgt-out--_binary64_714`
19×	`unsub-neg_binary64_754` `+-rgt-identity_binary64_745`
18×	`cube-unmult_binary64_797`
17×	`associate-+l+_binary64_693` `associate-+r+_binary64_692`
12×	`cube-prod_binary64_788`
11×	`sub0-neg_binary64_747`
10×	`associate--r+_binary64_696`
9×	`distribute-lft-out--_binary64_712`
8×	`log-div_binary64_847` `unpow3_binary64_826` `associate--r-_binary64_699`
7×	`unpow1/3_binary64_827`
6×	`mul-1-neg_binary64_752` `swap-sqr_binary64_727` `distribute-lft-out_binary64_711`
5×	`log-prod_binary64_846` `count-2_binary64_708` `associate--l+_binary64_697`
4×	`log-pow_binary64_849` `cube-mult_binary64_790` `remove-double-neg_binary64_748` `cancel-sign-sub_binary64_725`
3×	`unpow2_binary64_825` `unpow1_binary64_818` `rem-sqrt-square_binary64_773`
2×	`log-rec_binary64_848` `sqr-neg_binary64_774` `--rgt-identity_binary64_746` `distribute-neg-out_binary64_722`
1×	`exp-diff_binary64_808` `1-exp_binary64_804` `rem-log-exp_binary64_801` `rem-3cbrt-lft_binary64_785` `rem-square-sqrt_binary64_772` `-rgt-identity_binary64_750` `mul0-lft_binary64_742` `-inverses_binary64_740` `rgt-mult-inverse_binary64_737` `distribute-rgt1-in_binary64_716`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `exp-prod_binary64_812` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-exp-log_binary64_800` `cube-div_binary64_789` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `/-rgt-identity_binary64_751` `*-lft-identity_binary64_749` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `distribute-frac-neg_binary64_723` `distribute-lft1-in_binary64_715` `associate--l-_binary64_698`

Counts

120 → 192

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	110	1990
1	272	1955
2	774	1955
3	2164	1955

prune463.0ms (2%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	19	19
Picked	0	1	1
Done	0	1	1
Total	192	21	213

Error

0.2b

Counts

213 → 21

Compiler

Compiled 9410 to 3890 computations (58.7% saved)

regimes5.8s (24.4%)

Accuracy

Total 18.7b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 52529 to 39858 computations (24.1% saved)

bsearch114.0ms (0.5%)

Steps

Iters	Range		Point
9	5.553056880649265e+92	1.2664960294622606e+100	3.164209138874086e+97
7	1.8622382620608676e-105	1.7252931490271842e-103	1.906370662006563e-105
7	-1.6392830542212964e-214	-2.4233263806939257e-216	-2.8031941910929914e-216
5	-6.637432300428426e+93	-2.971244746862492e+93	-5.192603281076975e+93

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64_691`
1×	`1-exp_binary64_804` `+-commutative_binary64_690`
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_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `unpow1_binary64_818` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `neg-mul-1_binary64_756` `neg-sub0_binary64_755` `unsub-neg_binary64_754` `sub-neg_binary64_753` `mul-1-neg_binary64_752` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `-lft-identity_binary64_749` `remove-double-neg_binary64_748` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `+-lft-identity_binary64_744` `cancel-sign-sub-inv_binary64_726` `cancel-sign-sub_binary64_725` `distribute-neg-frac_binary64_724` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-neg-in_binary64_721` `distribute-rgt-neg-out_binary64_720` `distribute-lft-neg-out_binary64_719` `distribute-rgt-neg-in_binary64_718` `distribute-lft-neg-in_binary64_717`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	212
1	74	212

Proof

(if real (<= f64 h0 -5192603281076974594590777250971775535821168453158877969826340776529919890351026220479637618688) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (* f64 -2 (* f64 (* f64 (sqrt f64 1/2) (log f64 (/ f64 -1 h0))) (pow f64 (/ f64 1 (pow f64 (log f64 10) 3)) 1/4)))) (if real (<= f64 h0 -544001212238015/194064761537588616893622436057812819407110752139587076392381504753256369085797110791359801103580809743810966337141384150771447505514351798930535909380147642400556872002606238193783160703949805603157874899214558593861605856727007232) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (if real (<= f64 h0 4922725409554907/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (* f64 2 (log f64 h1)) (sqrt f64 (/ f64 1 (log f64 10))))) (if real (<= f64 h0 31642091388740861462302672619163042540892050060521171946410129345157194507772176979992311435886592) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (=> (* f64 (/ f64 (* f64 -2 (log f64 (/ f64 1 h0))) (sqrt f64 (log f64 10))) (sqrt f64 (/ f64 1 (* f64 2 (sqrt f64 (log f64 10))))))))))))
*-commutative_binary64_691 =>
(if real (<= f64 h0 -5192603281076974594590777250971775535821168453158877969826340776529919890351026220479637618688) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (* f64 -2 (* f64 (* f64 (sqrt f64 1/2) (log f64 (/ f64 -1 h0))) (pow f64 (/ f64 1 (pow f64 (log f64 10) 3)) 1/4)))) (if real (<= f64 h0 -544001212238015/194064761537588616893622436057812819407110752139587076392381504753256369085797110791359801103580809743810966337141384150771447505514351798930535909380147642400556872002606238193783160703949805603157874899214558593861605856727007232) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (if real (<= f64 h0 4922725409554907/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (* f64 2 (log f64 h1)) (sqrt f64 (/ f64 1 (log f64 10))))) (if real (<= f64 h0 31642091388740861462302672619163042540892050060521171946410129345157194507772176979992311435886592) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (* f64 (sqrt f64 (/ f64 1 (=> (* f64 2 (sqrt f64 (log f64 10)))))) (/ f64 (* f64 -2 (log f64 (/ f64 1 h0))) (sqrt f64 (log f64 10)))))))))
*-commutative_binary64_691 =>
(if real (<= f64 h0 -5192603281076974594590777250971775535821168453158877969826340776529919890351026220479637618688) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (* f64 -2 (* f64 (* f64 (sqrt f64 1/2) (log f64 (/ f64 -1 h0))) (pow f64 (/ f64 1 (pow f64 (log f64 10) 3)) 1/4)))) (if real (<= f64 h0 -544001212238015/194064761537588616893622436057812819407110752139587076392381504753256369085797110791359801103580809743810966337141384150771447505514351798930535909380147642400556872002606238193783160703949805603157874899214558593861605856727007232) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (if real (<= f64 h0 4922725409554907/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (* f64 2 (log f64 h1)) (sqrt f64 (/ f64 1 (log f64 10))))) (if real (<= f64 h0 31642091388740861462302672619163042540892050060521171946410129345157194507772176979992311435886592) (* f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2)) (* f64 (log f64 (+ f64 (* f64 h0 h0) (* f64 h1 h1))) (/ f64 1 (sqrt f64 (log f64 10))))) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (* f64 (sqrt f64 (/ f64 1 (* f64 (sqrt f64 (log f64 10)) 2))) (/ f64 (* f64 -2 (log f64 (/ f64 1 h0))) (sqrt f64 (log f64 10)))))))))

end0.0ms (0%)

sample5.2s (22.1%)

Algorithm

1×

intervals

Results

487.0ms

8000×

body

128

valid

Compiler

Compiled 5191 to 4067 computations (21.7% saved)

Details

analyze5.0ms (0%)

sample24.0ms (0.1%)

simplify158.0ms (0.7%)

prune2.0ms (0%)

localize10.0ms (0%)

rewrite127.0ms (0.5%)

series645.0ms (2.7%)

simplify226.0ms (1%)

prune265.0ms (1.1%)

localize14.0ms (0.1%)

rewrite361.0ms (1.5%)

series1.2s (4.9%)

simplify718.0ms (3%)

prune891.0ms (3.8%)

localize20.0ms (0.1%)

rewrite562.0ms (2.4%)

series2.1s (8.7%)

simplify752.0ms (3.2%)

prune2.8s (11.8%)

localize17.0ms (0.1%)

rewrite135.0ms (0.6%)

series926.0ms (3.9%)

simplify216.0ms (0.9%)

prune463.0ms (2%)

regimes5.8s (24.4%)

bsearch114.0ms (0.5%)

simplify10.0ms (0%)

end0.0ms (0%)

sample5.2s (22.1%)

Profiling