Date:	Wednesday, April 28th, 2021
Commit:	07b57d27 on master
Hostname:	warfa with Racket 7.9
Seed:	2021118
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback` default

Details

sample18.6min (34.2%)

Algorithm

982×

intervals

Results

3.0min	20221×	body	8192	exit
2.7min	3391090×	body	128	valid
2.2min	279531×	body	1024	valid
1.2min	90585×	body	2048	valid
1.1min	16303×	body	4096	valid
40.2s	148902×	body	512	valid
33.7s	366030×	body	128	invalid
29.3s	2840×	body	8192	valid
18.3s	34721×	body	1024	invalid
15.3s	102503×	body	256	valid
12.9s	166789×	body	128	nan
9.8s	2137×	body	4096	invalid
8.7s	381637×	pre	128	true
6.8s	2564×	body	2048	invalid
6.8s	17636×	body	1024	nan
6.7s	18847×	body	512	invalid
6.0s	4564×	body	1024	overflowed
5.4s	31931×	body	128	overflowed
2.5s	9518×	body	512	nan
2.2s	9783×	body	256	invalid
1.8s	2472×	body	512	overflowed
1.6s	5321×	body	2048	nan
796.0ms	4922×	body	256	nan
496.0ms	35×	body	8192	invalid
455.0ms	1195×	body	256	overflowed
183.0ms	366×	body	2048	overflowed
35.0ms	1×	body	8192	overflowed
9.0ms	13×	body	4096	nan
6.0ms	221×	pre	128	false
6.0ms	1×	body	4096	overflowed
2.0ms	1×	body	8192	nan

Compiler

Compiled 133559 to 102956 computations (22.9% saved)

regimes11.1min (20.4%)

Compiler: Compiled 9420583 to 6944150 computations (26.3% saved)

analyze6.3min (11.6%)

Algorithm

493×	search
990×	egg-herbie
2×	random

Rules

104061×	`sub-neg_binary64`
100669×	`div-sub_binary64`
90796×	`distribute-rgt-in_binary64`
82572×	`unsub-neg_binary64`
71845×	`neg-mul-1_binary64`
64225×	`distribute-lft-in_binary64`
61690×	`associate-/l*_binary64`
61156×	`neg-sub0_binary64`
59985×	`times-frac_binary64`
59289×	`cancel-sign-sub-inv_binary64`
51116×	`*-commutative_binary64`
48915×	`associate-l_binary64`
44570×	`associate-r_binary64`
43638×	`distribute-rgt-neg-in_binary64`
41239×	`associate-/r*_binary64`
39976×	`+-commutative_binary64`
36057×	`associate-/l/_binary64`
33604×	`distribute-neg-in_binary64`
33411×	`associate-/r/_binary64`
33274×	`associate-+l+_binary64`
32676×	`associate--r-_binary64`
31436×	`distribute-lft-neg-in_binary64`
30168×	`distribute-lft-neg-out_binary64`
29059×	`distribute-rgt-neg-out_binary64`
28513×	`unswap-sqr_binary64`
28141×	`distribute-neg-frac_binary64`
28129×	`associate--r+_binary64`
26310×	`associate-+r+_binary64`
24574×	`associate-*l/_binary64`
22997×	`sqr-pow_binary64`
22238×	`distribute-frac-neg_binary64`
21828×	`associate-+l-_binary64`
18491×	`associate--l+_binary64`
18399×	`distribute-rgt-out_binary64`
18056×	`associate-*r/_binary64`
16975×	`distribute-rgt-out--_binary64`
15592×	`distribute-neg-out_binary64`
15547×	`remove-double-neg_binary64`
14686×	`associate--l-_binary64`
11883×	`associate-+r-_binary64`
10655×	`pow-sqr_binary64`
9916×	`distribute-lft-out--_binary64`
9491×	`distribute-lft-out_binary64`
9049×	`cube-prod_binary64`
8944×	`sub0-neg_binary64`
8445×	`cancel-sign-sub_binary64`
8147×	`*-lft-identity_binary64`
6186×	`mul0-rgt_binary64`
6085×	`*-rgt-identity_binary64`
6041×	`mul0-lft_binary64`
5623×	`exp-prod_binary64`
5550×	`unpow3_binary64`
5438×	`swap-sqr_binary64`
4629×	`div0_binary64`
4316×	`/-rgt-identity_binary64`
4201×	`exp-sum_binary64`
4099×	`+-rgt-identity_binary64`
3975×	`cube-mult_binary64`
3938×	`+-lft-identity_binary64`
3327×	`--rgt-identity_binary64`
3068×	`distribute-rgt1-in_binary64`
2909×	`exp-diff_binary64`
2708×	`pow-plus_binary64`
1789×	`rem-sqrt-square_binary64`
1664×	`cube-div_binary64`
1638×	`remove-double-div_binary64`
1454×	`mul-1-neg_binary64`
1250×	`cube-unmult_binary64`
1240×	`log-prod_binary64`
1217×	`prod-exp_binary64`
1026×	`distribute-lft1-in_binary64`
995×	`div-exp_binary64`
871×	`difference-of-squares_binary64`
777×	`unpow2_binary64`
748×	`count-2_binary64`
709×	`unpow1/2_binary64`
697×	`unpow1_binary64`
692×	`sqr-neg_binary64`
505×	`log-div_binary64`
404×	`exp-sqrt_binary64`
394×	`exp-neg_binary64`
372×	`1-exp_binary64`
360×	`rec-exp_binary64`
332×	`exp-lft-sqr_binary64`
231×	`*-inverses_binary64`
227×	`difference-of-sqr--1_binary64`
182×	`difference-of-sqr-1_binary64`
141×	`exp-to-pow_binary64`
138×	`lft-mult-inverse_binary64`
117×	`+-inverses_binary64`
94×	`sin-neg_binary64`
77×	`cube-neg_binary64`
74×	`cos-neg_binary64`
69×	`log-rec_binary64` `log-pow_binary64`
50×	`rem-exp-log_binary64`
47×	`swap-x-y`
45×	`tan-neg_binary64`
30×	`exp-1-e_binary64`
24×	`unpow-1_binary64`
19×	`rgt-mult-inverse_binary64`
16×	`rem-square-sqrt_binary64`
12×	`swap-a-b` `swap-z-t`
9×	`1-sub-sin_binary64` `tanh-def-a_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `swap-y-z` `sub-1-sin_binary64`
6×	`sinh-def_binary64` `swap-x-z`
5×	`sqr-abs_binary64` `cosh-def_binary64` `swap-re-im`
3×	`swap-a-c` `swap-y-t` `swap-lambda1-lambda2` `swap-d2-d3` `swap-phi1-phi2`
2×	`swap-A-C` `exp-lft-cube_binary64` `exp-0_binary64` `swap-a-d` `swap-alpha-beta` `swap-a1-a2` `rem-log-exp_binary64` `swap-M-D` `swap-t-a` `swap-b-c`
1×	`swap-V-l` `swap-Ev-EAccept` `swap-z-a` `swap-a-e` `swap-d2-d4` `hang-p0-tan_binary64` `swap-a-x` `swap-b1-b2` `swap-kx-ky` `swap-b-d` `swap-x.re-y.im` `swap-x.im-y.im` `swap-j-k` `swap-x.im-y.re` `swap-x-t` `swap-c-s` `swap-x.re-y.re` `swap-c-i`
0×	`e-exp-1_binary64` `if-false_binary64` `if-if-and-not_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `not-lte_binary64` `sinh-+-cosh_binary64` `sub-1-cos_binary64` `not-or` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `cos-PI_binary64` `swap-d-e` `gt-same_binary64` `cos-sin-sum_binary64` `not-lt_binary64` `swap-c-e` `cos-+PI_binary64` `unpow0_binary64` `sin-PI_binary64` `exp-cbrt_binary64` `not-not` `if-not_binary64` `erf-odd_binary64` `if-if-or-not_binary64` `lte-same_binary64` `1-sub-cos_binary64` `tan-PI/4_binary64` `lt-same_binary64` `cos-PI/6_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `or-true-l` `not-false` `rem-3cbrt-rft_binary64` `if-same_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `rem-3cbrt-lft_binary64` `log-E_binary64` `pow-base-1_binary64` `or-false-l` `cos-0_binary64` `and-true-l` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `-1-add-sin_binary64` `rem-cube-cbrt_binary64` `cos-PI/4_binary64` `swap-b-e` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `hang-0p-tan_binary64` `pow-base-0_binary64` `not-and` `rem-cbrt-cube_binary64` `sin-+PI/2_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `sin-0_binary64` `if-true_binary64` `hang-p-tan_binary64` `hang-0m-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `swap-c-d` `hang-m-tan_binary64` `if-if-and_binary64` `sin-PI/6_binary64` `and-true-r` `sin-+PI_binary64` `gte-same_binary64` `tan-+PI/2_binary64` `tan-PI_binary64` `not-true` `and-false-l` `unpow1/3_binary64`

Search

True	Other	False	Iter
0%	92.2%	7.8%	0
3%	89.2%	7.8%	1
6%	85.6%	8.4%	2
13.7%	76.3%	9.9%	3
18.5%	69.7%	11.8%	4
25.5%	61.8%	12.6%	5
30.1%	55.7%	14.2%	6
35.4%	48.5%	16%	7
38.8%	44.1%	17.1%	8
42.8%	38.9%	18.4%	9
45.6%	34.7%	19.6%	10
48.3%	31.3%	20.4%	11
50.5%	28.4%	21.1%	12
53%	24.9%	22.1%	13
54.4%	23.2%	22.5%	14

Compiler

Compiled 8773 to 6943 computations (20.9% saved)

series6.1min (11.1%)

Counts

4920 → 58964

Calls

3413 calls:

9.8s	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -6544414927309881/4503599627370496) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))))
9.5s	(/.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 (.f64 8 (.f64 (.f64 a (.f64 b (.f64 b a))) (.f64 a (.f64 b (.f64 b a))))) (pow.f64 (.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))))) (/.f64 (.f64 a (.f64 (.f64 b b) (.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
6.3s	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 (.f64 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 -2176625624901896097756115991881/20282409603651670423947251286016 (.f64 x x)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -6544414927309881/4503599627370496) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (.f64 x x)))))))
5.0s	(.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (*.f64 x y))))
3.4s	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))

Compiler

Compiled 4314560 to 3055390 computations (29.2% saved)

rewrite4.8min (8.8%)

Algorithm

1632×

rewrite-expression-head

Rules

63257×	`times-frac_binary64`
60514×	`*-un-lft-identity_binary64`
58480×	`add-sqr-sqrt_binary64`
40289×	`add-exp-log_binary64`
39384×	`add-cube-cbrt_binary64`
23821×	`add-cbrt-cube_binary64`
20509×	`prod-exp_binary64`
16226×	`pow1_binary64`
13151×	`sqrt-prod_binary64`
12206×	`associate-r_binary64`
10269×	`cbrt-unprod_binary64`
10263×	`cbrt-prod_binary64`
8236×	`add-log-exp_binary64`
7939×	`div-exp_binary64`
7377×	`associate-l_binary64`
6992×	`difference-of-squares_binary64`
6189×	`distribute-lft-out_binary64`
5968×	`pow-prod-down_binary64`
5557×	`unpow-prod-down_binary64`
5406×	`associate-/r*_binary64`
4927×	`cancel-sign-sub-inv_binary64`
4749×	`distribute-lft-out--_binary64`
4197×	`associate-*r/_binary64`
3900×	`associate-/l*_binary64`
3843×	`cbrt-undiv_binary64`
3635×	`flip-+_binary64`
3634×	`flip3-+_binary64`
3513×	`div-inv_binary64`
3442×	`associate-/r/_binary64`
3295×	`flip--_binary64`
3294×	`flip3--_binary64`
3061×	`cbrt-div_binary64`
3051×	`frac-times_binary64`
2747×	`unswap-sqr_binary64`
2644×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
2614×	`pow-exp_binary64`
2464×	`associate-*l/_binary64`
2283×	`sqr-pow_binary64`
2093×	`log-prod_binary64`
1997×	`cube-prod_binary64`
1813×	`pow-to-exp_binary64`
1548×	`*-commutative_binary64`
1528×	`sqrt-div_binary64`
1241×	`sum-log_binary64`
1198×	`sqrt-pow1_binary64`
1165×	`sub-neg_binary64`
1085×	`pow1/3_binary64`
1014×	`associate-/l/_binary64`
969×	`frac-add_binary64`
960×	`swap-sqr_binary64`
932×	`log-pow_binary64`
924×	`frac-2neg_binary64` `clear-num_binary64`
865×	`associate-+r+_binary64`
708×	`diff-log_binary64`
672×	`pow-unpow_binary64`
642×	`exp-prod_binary64`
636×	`pow1/2_binary64`
597×	`associate--l+_binary64`
590×	`frac-sub_binary64`
586×	`pow-prod-up_binary64`
567×	`associate-+l+_binary64`
543×	`+-commutative_binary64`
523×	`1-exp_binary64`
499×	`rec-exp_binary64`
447×	`pow-sqr_binary64`
415×	`cube-mult_binary64`
410×	`unpow3_binary64`
399×	`exp-sum_binary64`
396×	`pow-pow_binary64`
314×	`distribute-rgt-neg-in_binary64`
307×	`rem-sqrt-square_binary64`
297×	`difference-of-sqr-1_binary64`
287×	`div-sub_binary64`
271×	`distribute-lft-neg-in_binary64`
247×	`pow-plus_binary64`
246×	`unpow2_binary64`
216×	`cube-div_binary64`
211×	`tan-quot_binary64`
203×	`pow2_binary64`
179×	`associate--r+_binary64`
161×	`log-div_binary64`
157×	`exp-diff_binary64`
154×	`exp-neg_binary64` `neg-sub0_binary64`
151×	`pow-flip_binary64`
133×	`distribute-rgt-out--_binary64`
121×	`distribute-rgt-out_binary64`
107×	`inv-pow_binary64`
106×	`rem-cube-cbrt_binary64`
105×	`rem-log-exp_binary64`
96×	`distribute-rgt1-in_binary64`
87×	`associate-+r-_binary64`
81×	`distribute-neg-frac_binary64`
78×	`sin-mult_binary64`
65×	`neg-mul-1_binary64`
63×	`cos-sum_binary64` `cos-mult_binary64`
59×	`rem-exp-log_binary64`
57×	`un-div-inv_binary64`
56×	`associate-+l-_binary64`
50×	`associate--l-_binary64`
48×	`rem-cbrt-cube_binary64`
45×	`sqrt-unprod_binary64`
39×	`tanh-def-b_binary64` `tanh-def-a_binary64` `tanh-def-c_binary64`
37×	`sub-div_binary64`
34×	`unpow-prod-up_binary64`
32×	`cos-diff_binary64`
28×	`cosh-def_binary64`
27×	`neg-log_binary64` `difference-of-sqr--1_binary64`
24×	`sinh-def_binary64`
22×	`sqr-abs_binary64` `sin-sum_binary64`
21×	`rem-square-sqrt_binary64` `sqrt-pow2_binary64`
20×	`associate--r-_binary64`
19×	`exp-to-pow_binary64` `unsub-neg_binary64` `sin-cos-mult_binary64`
18×	`cos-atan_binary64`
17×	`sum-cubes_binary64`
16×	`distribute-rgt-neg-out_binary64` `sin-diff_binary64` `distribute-frac-neg_binary64` `difference-cubes_binary64` `acos-asin_binary64`
14×	`distribute-lft-neg-out_binary64`
12×	`asin-acos_binary64`
11×	`pow-sub_binary64`
10×	`cosh-undef_binary64` `sinh-undef_binary64`
9×	`e-exp-1_binary64` `sqrt-undiv_binary64` `atan-neg_binary64`
8×	`distribute-lft1-in_binary64` `distribute-neg-in_binary64`
7×	`count-2_binary64`
6×	`cos-neg_binary64`
5×	`cos-2_binary64` `diff-cos_binary64`
4×	`quot-tan_binary64` `tan-sum_binary64`
3×	`pow3_binary64` `sqr-sin-a_binary64` `acos-neg_binary64`
2×	`pow-div_binary64` `remove-double-div_binary64` `sqr-cos-a_binary64` `rem-3cbrt-lft_binary64`
1×	`unpow1/2_binary64` `tanh-undef_binary64` `mul0-rgt_binary64` `exp-lft-sqr_binary64` `diff-atan_binary64` `diff-sin_binary64`

Counts

4920 → 149207

Calls

3413 calls:

2.7s	(.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))
389.0ms	(-.f64 (/.f64 y (/.f64 (+.f64 1 (-.f64 t z)) a)) (/.f64 z (/.f64 (+.f64 1 (-.f64 t z)) a)))
287.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))
162.0ms	(-.f64 (+.f64 (.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (+.f64 (.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)) (/.f64 (log.f64 (+.f64 x 1)) n)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)) (+.f64 (.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3))))))
156.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 alpha (+.f64 beta i))) (+.f64 alpha (+.f64 beta (.f64 2 i)))) (+.f64 1 (+.f64 alpha (+.f64 beta (.f64 2 i))))) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 alpha (+.f64 beta i)))) (+.f64 alpha (+.f64 beta (.f64 2 i)))) (-.f64 (+.f64 alpha (+.f64 beta (.f64 2 i))) 1)))

Compiler

Compiled 4810222 to 2292681 computations (52.3% saved)

simplify4.6min (8.5%)

Algorithm

2610×

egg-herbie

Rules

480758×	`distribute-rgt-in_binary64`
400608×	`times-frac_binary64`
396502×	`associate-l_binary64`
375788×	`distribute-lft-in_binary64`
355527×	`associate-/l*_binary64`
339451×	`associate-r_binary64`
336367×	`*-commutative_binary64`
315317×	`cancel-sign-sub-inv_binary64`
281184×	`sub-neg_binary64`
275877×	`unswap-sqr_binary64`
246875×	`div-sub_binary64`
215684×	`distribute-rgt-neg-in_binary64`
212473×	`associate-/r*_binary64`
212281×	`unsub-neg_binary64`
202035×	`associate-/l/_binary64`
192171×	`associate-*l/_binary64`
189946×	`neg-mul-1_binary64`
182587×	`associate-/r/_binary64`
174762×	`sqr-pow_binary64`
170867×	`distribute-lft-neg-in_binary64`
166520×	`neg-sub0_binary64`
154466×	`exp-prod_binary64`
149699×	`associate-*r/_binary64`
141532×	`associate-+l+_binary64`
140717×	`log-prod_binary64`
137663×	`+-commutative_binary64`
117242×	`associate-+r+_binary64`
112569×	`distribute-rgt-out_binary64`
96094×	`distribute-lft-neg-out_binary64`
95490×	`cube-prod_binary64`
95190×	`distribute-neg-in_binary64`
93166×	`distribute-rgt-neg-out_binary64`
75861×	`associate--r+_binary64`
74829×	`distribute-neg-frac_binary64`
70151×	`associate--l+_binary64`
68825×	`associate--r-_binary64`
59811×	`log-div_binary64`
56233×	`exp-sum_binary64`
56203×	`distribute-lft-out_binary64`
53677×	`swap-sqr_binary64`
52339×	`pow-sqr_binary64`
49755×	`associate-+l-_binary64`
46247×	`distribute-rgt-out--_binary64`
41834×	`unpow3_binary64`
41342×	`*-rgt-identity_binary64`
38378×	`*-lft-identity_binary64`
36418×	`associate-+r-_binary64`
33940×	`cube-div_binary64`
33667×	`distribute-neg-out_binary64`
28013×	`exp-diff_binary64`
25919×	`cube-mult_binary64`
24814×	`associate--l-_binary64`
24524×	`distribute-frac-neg_binary64`
23600×	`log-pow_binary64`
21305×	`distribute-lft-out--_binary64`
19574×	`pow-plus_binary64`
18702×	`remove-double-neg_binary64`
17946×	`cube-unmult_binary64`
17830×	`rem-sqrt-square_binary64`
17371×	`difference-of-squares_binary64`
15509×	`sub0-neg_binary64`
15093×	`/-rgt-identity_binary64`
12741×	`mul0-rgt_binary64`
12437×	`mul0-lft_binary64`
12196×	`+-rgt-identity_binary64`
10843×	`distribute-rgt1-in_binary64`
10711×	`prod-exp_binary64`
9615×	`cancel-sign-sub_binary64`
7895×	`count-2_binary64`
7243×	`mul-1-neg_binary64`
6609×	`unpow1/2_binary64`
6608×	`div0_binary64`
5832×	`log-rec_binary64`
5422×	`unpow2_binary64`
5393×	`div-exp_binary64`
5115×	`+-lft-identity_binary64`
4733×	`unpow1_binary64`
4526×	`sqr-neg_binary64`
4510×	`--rgt-identity_binary64`
4450×	`exp-neg_binary64`
4263×	`exp-to-pow_binary64`
4135×	`distribute-lft1-in_binary64`
3563×	`remove-double-div_binary64`
2412×	`cube-neg_binary64`
2214×	`unpow1/3_binary64`
2152×	`1-exp_binary64`
1649×	`exp-sqrt_binary64`
1564×	`exp-lft-sqr_binary64`
1535×	`rem-square-sqrt_binary64`
1099×	`exp-1-e_binary64`
1053×	`rec-exp_binary64`
1034×	`difference-of-sqr--1_binary64`
966×	`difference-of-sqr-1_binary64`
930×	`rem-3cbrt-lft_binary64`
928×	`rem-cbrt-cube_binary64`
898×	`rem-exp-log_binary64`
602×	`rem-log-exp_binary64`
588×	`+-inverses_binary64`
434×	`exp-lft-cube_binary64`
412×	`*-inverses_binary64`
318×	`rem-3cbrt-rft_binary64`
272×	`rem-cube-cbrt_binary64`
250×	`pow-base-1_binary64`
180×	`sin-neg_binary64`
155×	`cos-neg_binary64`
125×	`lft-mult-inverse_binary64`
109×	`exp-cbrt_binary64`
106×	`unpow-1_binary64`
80×	`sqr-abs_binary64`
73×	`log-E_binary64`
46×	`rgt-mult-inverse_binary64`
28×	`if-if-or-not_binary64`
17×	`sinh-def_binary64`
12×	`e-exp-1_binary64`
10×	`cosh-def_binary64`
9×	`tanh-def-a_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64`
4×	`not-or` `tan-neg_binary64`
3×	`sub-1-cos_binary64` `not-not` `if-not_binary64` `cos-0_binary64`
2×	`1-sub-cos_binary64` `cos-PI/6_binary64` `exp-0_binary64` `sin-PI/6_binary64`
1×	`cos-PI_binary64` `hang-p0-tan_binary64` `sin-PI_binary64` `1-sub-sin_binary64` `hang-0p-tan_binary64` `not-and` `hang-0m-tan_binary64` `sub-1-sin_binary64`
0×	`hang-m-tan_binary64` `cos-PI/3_binary64` `if-if-and-not_binary64` `cos-PI/2_binary64` `not-lte_binary64` `sinh-+-cosh_binary64` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `if-false_binary64` `gt-same_binary64` `cos-sin-sum_binary64` `not-lt_binary64` `cos-+PI_binary64` `unpow0_binary64` `erf-odd_binary64` `tan-PI/4_binary64` `lte-same_binary64` `lt-same_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `or-true-l` `not-false` `if-same_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `or-false-l` `sin-0_binary64` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `and-true-l` `-1-add-sin_binary64` `cos-PI/4_binary64` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `pow-base-0_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `if-true_binary64` `hang-p-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `if-if-and_binary64` `tan-+PI/2_binary64` `and-true-r` `sin-+PI_binary64` `gte-same_binary64` `sin-+PI/2_binary64` `tan-PI_binary64` `not-true` `and-false-l`

Counts

208660 → 154609

prune2.4min (4.4%)

Counts: 163513 → 11451
Compiler: Compiled 3406535 to 1719739 computations (49.5% saved)

localize21.3s (0.7%)

Compiler: Compiled 6120 to 10200 computations (-66.7% saved)

bsearch8.6s (0.3%)

Compiler: Compiled 1066 to 1050 computations (1.5% saved)

end1.8s (0.1%)

Compiler: Compiled 24907 to 16521 computations (33.7% saved)

Details

sample18.6min (34.2%)

regimes11.1min (20.4%)

analyze6.3min (11.6%)

series6.1min (11.1%)

rewrite4.8min (8.8%)

simplify4.6min (8.5%)

prune2.4min (4.4%)

localize21.3s (0.7%)

bsearch8.6s (0.3%)

end1.8s (0.1%)

Profiling