Details

analyze905.0ms (11.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.2%	66.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample30.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
7.0ms	24×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify602.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

378×	`associate-l_binary64_24230`
362×	`associate-r_binary64_24229`
325×	`distribute-rgt-out_binary64_24242`
314×	`div-sub_binary64_24294`
303×	`cancel-sign-sub-inv_binary64_24255`
254×	`distribute-rgt-out--_binary64_24243`
249×	`distribute-lft-out_binary64_24240`
240×	`associate-/r*_binary64_24233`
229×	`associate-*l/_binary64_24232`
224×	`distribute-lft-out--_binary64_24241`
203×	`associate-/r/_binary64_24235`
177×	`associate-*r/_binary64_24231`
109×	`distribute-rgt-in_binary64_24239`
101×	`sub-neg_binary64_24282`
78×	`distribute-lft-in_binary64_24238`
65×	`distribute-frac-neg_binary64_24252`
54×	`associate-/l*_binary64_24234`
42×	`neg-mul-1_binary64_24285`
39×	`distribute-rgt-neg-in_binary64_24247`
37×	`neg-sub0_binary64_24284`
36×	`distribute-lft-neg-in_binary64_24246`
34×	`times-frac_binary64_24295`
31×	`unsub-neg_binary64_24283`
30×	`distribute-neg-in_binary64_24250`
29×	`distribute-neg-frac_binary64_24253`
24×	`distribute-lft-neg-out_binary64_24248`
23×	`distribute-rgt-neg-out_binary64_24249`
20×	`*-commutative_binary64_24220`
19×	`+-commutative_binary64_24219`
17×	`associate-+r-_binary64_24223`
16×	`associate-+r+_binary64_24221`
15×	`distribute-rgt1-in_binary64_24245` `associate-/l/_binary64_24236`
14×	`div0_binary64_24270` `associate--r+_binary64_24225`
13×	`associate-+l-_binary64_24224`
12×	`associate-+l+_binary64_24222`
9×	`sub0-neg_binary64_24276`
8×	`+-rgt-identity_binary64_24274`
5×	`--rgt-identity_binary64_24275` `swap-sqr_binary64_24256`
4×	`distribute-lft1-in_binary64_24244` `count-2_binary64_24237`
3×	`sqr-neg_binary64_24303` `remove-double-neg_binary64_24277` `mul0-lft_binary64_24271` `*-inverses_binary64_24269` `associate--r-_binary64_24228`
2×	`+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272`
1×	`1-exp_binary64_24333` `mul-1-neg_binary64_24281` `associate--l-_binary64_24227`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `log-rec_binary64_24377` `log-div_binary64_24376` `log-prod_binary64_24375` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow3_binary64_24355` `unpow2_binary64_24354` `unpow1/2_binary64_24353` `pow-plus_binary64_24352` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow1_binary64_24347` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `exp-prod_binary64_24341` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-diff_binary64_24337` `exp-neg_binary64_24336` `exp-sum_binary64_24335` `e-exp-1_binary64_24334` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-unmult_binary64_24326` `cube-mult_binary64_24319` `cube-div_binary64_24318` `cube-prod_binary64_24317` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `/-rgt-identity_binary64_24280` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `pow-sqr_binary64_24262` `sqr-pow_binary64_24261` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `difference-of-squares_binary64_24258` `unswap-sqr_binary64_24257` `cancel-sign-sub_binary64_24254` `distribute-neg-out_binary64_24251` `associate--l+_binary64_24226`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	19	16
2	40	16
3	79	16
4	153	16
5	248	16
6	708	16

prune8.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	2	2	4
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	2	3	5

Error

Counts

5 → 3

Compiler

Compiled 77 to 49 computations (36.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
2.4b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))

rewrite241.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_24295`
194×	`add-sqr-sqrt_binary64_24311` `*-un-lft-identity_binary64_24289`
90×	`add-cube-cbrt_binary64_24324`
52×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241`
36×	`associate-/r*_binary64_24233`
11×	`associate-/r/_binary64_24235`
9×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
8×	`associate-/l*_binary64_24234`
6×	`div-inv_binary64_24286` `flip3--_binary64_24293` `flip--_binary64_24264`
4×	`div-exp_binary64_24340` `cbrt-undiv_binary64_24323`
2×	`pow1_binary64_24350` `add-log-exp_binary64_24328` `frac-2neg_binary64_24300` `clear-num_binary64_24288` `associate-/l/_binary64_24236`
1×	`div-sub_binary64_24294`

Counts

2 → 194

Calls

2 calls:

13.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
8.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 4537 to 1005 computations (77.8% saved)

series736.0ms (9.2%)

Error

Counts

2 → 58

Calls

2 calls:

385.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
272.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 3202 to 2010 computations (37.2% saved)

simplify599.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

515×	`cancel-sign-sub-inv_binary64_24255`
343×	`sub-neg_binary64_24282`
292×	`associate-/l*_binary64_24234`
269×	`associate-/r/_binary64_24235`
225×	`associate-/l/_binary64_24236`
189×	`times-frac_binary64_24295`
164×	`*-commutative_binary64_24220`
155×	`associate-*l/_binary64_24232`
131×	`associate--l+_binary64_24226`
119×	`associate--r+_binary64_24225`
118×	`+-commutative_binary64_24219`
108×	`div-sub_binary64_24294`
106×	`associate-/r*_binary64_24233`
94×	`distribute-rgt-in_binary64_24239` `distribute-lft-in_binary64_24238`
88×	`distribute-neg-frac_binary64_24253`
87×	`associate-r_binary64_24229` `associate-+l+_binary64_24222`
77×	`neg-sub0_binary64_24284`
76×	`associate-*r/_binary64_24231`
72×	`neg-mul-1_binary64_24285`
69×	`associate-l_binary64_24230`
62×	`unsub-neg_binary64_24283`
60×	`associate-+r+_binary64_24221`
55×	`/-rgt-identity_binary64_24280`
54×	`*-rgt-identity_binary64_24279`
39×	`sqr-pow_binary64_24261`
35×	`distribute-neg-in_binary64_24250`
17×	`*-lft-identity_binary64_24278` `pow-sqr_binary64_24262`
16×	`div-exp_binary64_24340` `prod-exp_binary64_24338`
14×	`log-div_binary64_24376`
13×	`unswap-sqr_binary64_24257`
10×	`pow-plus_binary64_24352` `cube-div_binary64_24318`
9×	`swap-sqr_binary64_24256`
8×	`log-prod_binary64_24375` `cube-unmult_binary64_24326` `cube-prod_binary64_24317`
7×	`exp-prod_binary64_24341` `difference-of-squares_binary64_24258`
6×	`exp-sum_binary64_24335` `mul-1-neg_binary64_24281` `distribute-rgt-neg-in_binary64_24247`
5×	`distribute-lft-neg-in_binary64_24246`
4×	`rec-exp_binary64_24339` `remove-double-neg_binary64_24277` `remove-double-div_binary64_24265` `associate--r-_binary64_24228`
3×	`unpow3_binary64_24355` `unpow2_binary64_24354` `unpow1_binary64_24347` `exp-diff_binary64_24337` `cube-mult_binary64_24319`
2×	`div0_binary64_24270` `*-inverses_binary64_24269` `distribute-rgt-out_binary64_24242`
1×	`log-pow_binary64_24378` `log-rec_binary64_24377` `1-exp_binary64_24333` `rem-log-exp_binary64_24330` `distribute-lft-neg-out_binary64_24248`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow1/2_binary64_24353` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `rem-exp-log_binary64_24329` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-rgt-identity_binary64_24274` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `cancel-sign-sub_binary64_24254` `distribute-frac-neg_binary64_24252` `distribute-neg-out_binary64_24251` `distribute-rgt-neg-out_binary64_24249` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `distribute-rgt-out--_binary64_24243` `distribute-lft-out--_binary64_24241` `distribute-lft-out_binary64_24240` `count-2_binary64_24237` `associate--l-_binary64_24227` `associate-+l-_binary64_24224` `associate-+r-_binary64_24223`

Counts

252 → 928

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	398	6866
1	1018	6713
2	4178	6671

prune951.0ms (11.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	928	0	928
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	928	3	931

Error

Counts

931 → 3

Compiler

Compiled 24329 to 3603 computations (85.2% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 y (-.f64 z a))
9.6b	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))

rewrite111.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`add-sqr-sqrt_binary64_24311`
40×	`*-un-lft-identity_binary64_24289`
31×	`times-frac_binary64_24295`
24×	`add-cube-cbrt_binary64_24324`
21×	`associate-l_binary64_24230`
9×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
8×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241`
6×	`cancel-sign-sub-inv_binary64_24255`
5×	`associate-r_binary64_24229` `associate-/r*_binary64_24233`
4×	`pow1_binary64_24350` `flip3--_binary64_24293` `flip--_binary64_24264` `distribute-rgt-in_binary64_24239` `distribute-lft-in_binary64_24238` `associate-/r/_binary64_24235`
3×	`associate-/l*_binary64_24234`
2×	`div-exp_binary64_24340` `prod-exp_binary64_24338` `add-log-exp_binary64_24328` `cbrt-unprod_binary64_24322` `cbrt-undiv_binary64_24323` `frac-times_binary64_24299` `unswap-sqr_binary64_24257` `sub-neg_binary64_24282` `associate-*r/_binary64_24231` `div-inv_binary64_24286`
1×	`pow-prod-down_binary64_24360` `associate-l/_binary64_24232` `-commutative_binary64_24220` `frac-2neg_binary64_24300` `clear-num_binary64_24288`

Counts

2 → 91

Calls

2 calls:

14.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
8.0ms	(/.f64 y (-.f64 z a))

Compiler

Compiled 1792 to 443 computations (75.3% saved)

series614.0ms (7.7%)

Error

Counts

2 → 49

Calls

2 calls:

390.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
167.0ms	(/.f64 y (-.f64 z a))

Compiler

Compiled 2454 to 1496 computations (39% saved)

simplify373.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

401×	`associate-/r*_binary64_24233`
387×	`distribute-rgt-in_binary64_24239`
359×	`distribute-lft-in_binary64_24238`
345×	`cancel-sign-sub-inv_binary64_24255`
241×	`associate-/r/_binary64_24235`
213×	`associate-/l/_binary64_24236`
163×	`sub-neg_binary64_24282`
133×	`associate-/l*_binary64_24234`
112×	`associate-l_binary64_24230`
105×	`associate-r_binary64_24229`
104×	`times-frac_binary64_24295`
97×	`*-commutative_binary64_24220`
86×	`associate-*l/_binary64_24232`
77×	`distribute-lft-neg-out_binary64_24248`
70×	`+-commutative_binary64_24219`
67×	`distribute-rgt-neg-out_binary64_24249`
59×	`distribute-rgt-neg-in_binary64_24247`
54×	`distribute-neg-frac_binary64_24253`
53×	`neg-sub0_binary64_24284`
52×	`div-sub_binary64_24294` `associate--l+_binary64_24226`
51×	`distribute-lft-neg-in_binary64_24246` `associate--r+_binary64_24225`
48×	`associate-*r/_binary64_24231`
46×	`neg-mul-1_binary64_24285`
42×	`distribute-rgt-out_binary64_24242`
41×	`associate-+l+_binary64_24222`
38×	`distribute-neg-in_binary64_24250`
36×	`associate-+r+_binary64_24221`
34×	`sqr-pow_binary64_24261`
29×	`unsub-neg_binary64_24283`
24×	`*-rgt-identity_binary64_24279`
15×	`*-lft-identity_binary64_24278`
14×	`log-div_binary64_24376` `log-prod_binary64_24375`
13×	`pow-sqr_binary64_24262` `swap-sqr_binary64_24256`
12×	`cube-prod_binary64_24317` `difference-of-squares_binary64_24258`
11×	`unswap-sqr_binary64_24257`
10×	`exp-prod_binary64_24341` `distribute-rgt-out--_binary64_24243`
9×	`div-exp_binary64_24340` `prod-exp_binary64_24338`
8×	`cube-div_binary64_24318` `distribute-rgt1-in_binary64_24245`
7×	`cube-unmult_binary64_24326` `distribute-lft-out_binary64_24240`
6×	`pow-plus_binary64_24352` `exp-sum_binary64_24335` `/-rgt-identity_binary64_24280`
5×	`mul-1-neg_binary64_24281`
3×	`unpow3_binary64_24355` `rec-exp_binary64_24339` `exp-diff_binary64_24337` `cube-mult_binary64_24319` `distribute-frac-neg_binary64_24252`
2×	`unpow2_binary64_24354` `unpow1_binary64_24347` `distribute-lft1-in_binary64_24244` `distribute-lft-out--_binary64_24241` `associate-+r-_binary64_24223`
1×	`log-rec_binary64_24377` `exp-sqrt_binary64_24342` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `rem-log-exp_binary64_24330` `rem-3cbrt-lft_binary64_24314` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `remove-double-neg_binary64_24277` `+-rgt-identity_binary64_24274` `div0_binary64_24270` `*-inverses_binary64_24269` `cancel-sign-sub_binary64_24254` `associate--r-_binary64_24228` `associate-+l-_binary64_24224`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow1/2_binary64_24353` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-exp-log_binary64_24329` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `distribute-neg-out_binary64_24251` `count-2_binary64_24237` `associate--l-_binary64_24227`

Counts

140 → 334

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	233	2795
1	626	2681
2	2207	2498

prune286.0ms (3.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	334	0	334
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	334	3	337

Error

Counts

337 → 3

Compiler

Compiled 7094 to 1185 computations (83.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 y (-.f64 z t))
8.1b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))

rewrite69.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`add-sqr-sqrt_binary64_24311`
14×	`*-un-lft-identity_binary64_24289`
9×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
8×	`add-cube-cbrt_binary64_24324`
6×	`cancel-sign-sub-inv_binary64_24255`
5×	`times-frac_binary64_24295` `associate-/r_binary64_24233` `associate-r*_binary64_24229`
4×	`pow1_binary64_24350` `associate-*r/_binary64_24231` `distribute-rgt-in_binary64_24239` `distribute-lft-in_binary64_24238`
3×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241` `flip3--_binary64_24293` `flip--_binary64_24264` `associate-l_binary64_24230`
2×	`prod-exp_binary64_24338` `div-exp_binary64_24340` `add-log-exp_binary64_24328` `cbrt-undiv_binary64_24323` `cbrt-unprod_binary64_24322` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `sub-neg_binary64_24282`
1×	`frac-2neg_binary64_24300` `clear-num_binary64_24288` `div-inv_binary64_24286` `associate-/l_binary64_24234` `pow-prod-down_binary64_24360` `unswap-sqr_binary64_24257` `-commutative_binary64_24220`

Counts

2 → 59

Calls

2 calls:

10.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
7.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1062 to 301 computations (71.7% saved)

series553.0ms (6.9%)

Error

Counts

2 → 43

Calls

2 calls:

364.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
149.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 2010 to 1186 computations (41% saved)

simplify305.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

378×	`associate-/r/_binary64_24235`
362×	`cancel-sign-sub-inv_binary64_24255`
358×	`associate-/l/_binary64_24236`
347×	`distribute-rgt-in_binary64_24239`
330×	`distribute-lft-in_binary64_24238`
181×	`sub-neg_binary64_24282`
154×	`associate-/l*_binary64_24234`
132×	`times-frac_binary64_24295`
116×	`associate-l_binary64_24230`
108×	`associate-r_binary64_24229`
105×	`div-sub_binary64_24294`
75×	`distribute-rgt-neg-in_binary64_24247`
64×	`*-commutative_binary64_24220`
63×	`distribute-lft-neg-in_binary64_24246` `associate-/r*_binary64_24233`
58×	`+-commutative_binary64_24219`
54×	`associate--l+_binary64_24226`
53×	`distribute-neg-frac_binary64_24253`
52×	`distribute-lft-neg-out_binary64_24248`
51×	`associate--r+_binary64_24225`
50×	`neg-sub0_binary64_24284`
48×	`distribute-rgt-neg-out_binary64_24249`
46×	`associate-*l/_binary64_24232`
45×	`neg-mul-1_binary64_24285`
42×	`exp-prod_binary64_24341`
37×	`distribute-neg-in_binary64_24250`
35×	`*-rgt-identity_binary64_24279`
34×	`sqr-pow_binary64_24261`
32×	`associate-+l+_binary64_24222`
31×	`distribute-rgt-out_binary64_24242`
26×	`log-div_binary64_24376` `unsub-neg_binary64_24283` `associate-*r/_binary64_24231`
24×	`associate-+r+_binary64_24221`
21×	`/-rgt-identity_binary64_24280` `*-lft-identity_binary64_24278`
19×	`cube-div_binary64_24318`
15×	`cube-prod_binary64_24317`
13×	`pow-sqr_binary64_24262`
12×	`log-prod_binary64_24375` `difference-of-squares_binary64_24258`
11×	`distribute-rgt-out--_binary64_24243`
10×	`swap-sqr_binary64_24256`
9×	`unswap-sqr_binary64_24257`
7×	`distribute-lft-out_binary64_24240`
6×	`pow-plus_binary64_24352` `exp-sum_binary64_24335` `cube-unmult_binary64_24326`
5×	`exp-diff_binary64_24337` `remove-double-neg_binary64_24277` `distribute-rgt1-in_binary64_24245`
4×	`log-rec_binary64_24377`
3×	`unpow3_binary64_24355` `cube-mult_binary64_24319` `mul-1-neg_binary64_24281` `cancel-sign-sub_binary64_24254` `distribute-frac-neg_binary64_24252`
2×	`unpow2_binary64_24354` `unpow1_binary64_24347` `exp-neg_binary64_24336` `distribute-lft1-in_binary64_24244` `distribute-lft-out--_binary64_24241` `associate--r-_binary64_24228`
1×	`exp-sqrt_binary64_24342` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `rem-log-exp_binary64_24330` `rem-3cbrt-lft_binary64_24314` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `+-rgt-identity_binary64_24274` `div0_binary64_24270` `*-inverses_binary64_24269` `associate-+r-_binary64_24223`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow1/2_binary64_24353` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-exp-log_binary64_24329` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `distribute-neg-out_binary64_24251` `count-2_binary64_24237` `associate--l-_binary64_24227` `associate-+l-_binary64_24224`

Counts

102 → 212

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	183	1803
1	505	1692
2	2109	1560

prune180.0ms (2.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	212	0	212
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	212	3	215

Error

Counts

215 → 3

Compiler

Compiled 4281 to 727 computations (83% saved)

regimes328.0ms (4.1%)

Accuracy

Total 1.1b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 1982 to 2118 computations (-6.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_24219`
4×	`sub-neg_binary64_24282`
2×	`neg-mul-1_binary64_24285` `neg-sub0_binary64_24284` `*-commutative_binary64_24220`
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_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `unpow1_binary64_24347` `e-exp-1_binary64_24334` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `unsub-neg_binary64_24283` `mul-1-neg_binary64_24281` `/-rgt-identity_binary64_24280` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278` `remove-double-neg_binary64_24277` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-rgt-identity_binary64_24274` `+-lft-identity_binary64_24273` `cancel-sign-sub-inv_binary64_24255` `cancel-sign-sub_binary64_24254` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252` `distribute-neg-out_binary64_24251` `distribute-neg-in_binary64_24250` `distribute-rgt-neg-out_binary64_24249` `distribute-lft-neg-out_binary64_24248` `distribute-rgt-neg-in_binary64_24247` `distribute-lft-neg-in_binary64_24246`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	16	16
2	24	16
3	28	16
4	30	16

Proof

(+ f64 h0 (/ f64 h1 (/ f64 (- f64 h2 h3) (- f64 h2 h4))))

end0.0ms (0%)

sample1.1s (13.4%)

Algorithm

1×

intervals

Results

308.0ms	7999×	body	128	valid
25.0ms	718×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 310 to 326 computations (-5.2% saved)

Details

analyze905.0ms (11.3%)

sample30.0ms (0.4%)

simplify602.0ms (7.5%)

prune8.0ms (0.1%)

localize8.0ms (0.1%)

rewrite241.0ms (3%)

series736.0ms (9.2%)

simplify599.0ms (7.5%)

prune951.0ms (11.9%)

localize8.0ms (0.1%)

rewrite111.0ms (1.4%)

series614.0ms (7.7%)

simplify373.0ms (4.7%)

prune286.0ms (3.6%)

localize8.0ms (0.1%)

rewrite69.0ms (0.9%)

series553.0ms (6.9%)

simplify305.0ms (3.8%)

prune180.0ms (2.3%)

regimes328.0ms (4.1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.1s (13.4%)

Profiling