Details

analyze938.0ms (6.9%)

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
0%	99.8%	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
26.2%	73.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	25×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify795.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

801×	`exp-prod_binary64_24682`
766×	`div-sub_binary64_24635`
310×	`associate-/r/_binary64_24576`
266×	`associate-r_binary64_24570`
245×	`associate-/r*_binary64_24574`
242×	`cancel-sign-sub-inv_binary64_24596`
226×	`distribute-rgt-out_binary64_24583`
185×	`associate-*l/_binary64_24573`
182×	`distribute-rgt-out--_binary64_24584`
172×	`associate-*r/_binary64_24572`
170×	`associate-l_binary64_24571`
141×	`distribute-rgt-in_binary64_24580`
120×	`distribute-lft-out_binary64_24581`
106×	`distribute-lft-out--_binary64_24582`
104×	`distribute-lft-in_binary64_24579`
96×	`sub-neg_binary64_24623`
58×	`*-commutative_binary64_24561`
55×	`distribute-frac-neg_binary64_24593`
47×	`associate-/l*_binary64_24575`
45×	`unsub-neg_binary64_24624`
43×	`neg-mul-1_binary64_24626`
37×	`neg-sub0_binary64_24625` `distribute-neg-in_binary64_24591`
30×	`times-frac_binary64_24636` `associate--r+_binary64_24566` `+-commutative_binary64_24560`
29×	`distribute-rgt-neg-in_binary64_24588` `distribute-lft-neg-in_binary64_24587`
28×	`distribute-neg-frac_binary64_24594` `distribute-rgt-neg-out_binary64_24590`
26×	`distribute-lft-neg-out_binary64_24589`
23×	`associate-/l/_binary64_24577`
22×	`associate-+l-_binary64_24565`
20×	`associate-+l+_binary64_24563`
19×	`associate-+r-_binary64_24564`
15×	`associate-+r+_binary64_24562`
13×	`distribute-rgt1-in_binary64_24586`
9×	`sub0-neg_binary64_24617` `div0_binary64_24611`
8×	`associate--r-_binary64_24569`
6×	`+-rgt-identity_binary64_24615` `associate--l+_binary64_24567`
5×	`swap-sqr_binary64_24597`
4×	`sqr-neg_binary64_24644` `mul-1-neg_binary64_24622` `--rgt-identity_binary64_24616` `*-inverses_binary64_24610` `associate--l-_binary64_24568`
3×	`cube-unmult_binary64_24667` `remove-double-neg_binary64_24618` `mul0-lft_binary64_24612` `distribute-lft1-in_binary64_24585` `count-2_binary64_24578`
2×	`+-lft-identity_binary64_24614` `mul0-rgt_binary64_24613`
1×	`exp-lft-sqr_binary64_24685` `exp-diff_binary64_24678` `exp-sum_binary64_24676` `1-exp_binary64_24674`
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_24893` `erf-erfc_binary64_24892` `erf-odd_binary64_24891` `if-if-and-not_binary64_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `not-gte_binary64_24882` `not-lte_binary64_24881` `not-gt_binary64_24880` `not-lt_binary64_24879` `gte-same_binary64_24878` `lte-same_binary64_24877` `gt-same_binary64_24876` `lt-same_binary64_24875` `sinh---cosh_binary64_24822` `sinh-+-cosh_binary64_24821` `sinh-cosh_binary64_24820` `tanh-def-c_binary64_24819` `tanh-def-b_binary64_24818` `tanh-def-a_binary64_24817` `cosh-def_binary64_24816` `sinh-def_binary64_24815` `tan-neg_binary64_24762` `cos-neg_binary64_24761` `sin-neg_binary64_24760` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `hang-m-tan_binary64_24756` `hang-p-tan_binary64_24755` `hang-m0-tan_binary64_24754` `hang-p0-tan_binary64_24753` `hang-0m-tan_binary64_24752` `hang-0p-tan_binary64_24751` `tan-+PI/2_binary64_24750` `tan-+PI_binary64_24749` `tan-PI_binary64_24748` `tan-PI/3_binary64_24747` `tan-PI/4_binary64_24746` `tan-PI/6_binary64_24745` `cos-+PI/2_binary64_24744` `cos-+PI_binary64_24743` `cos-PI_binary64_24742` `cos-PI/2_binary64_24741` `cos-PI/3_binary64_24740` `cos-PI/4_binary64_24739` `cos-PI/6_binary64_24738` `sin-+PI/2_binary64_24737` `sin-+PI_binary64_24736` `sin-PI_binary64_24735` `sin-PI/2_binary64_24734` `sin-PI/3_binary64_24733` `sin-PI/4_binary64_24732` `sin-PI/6_binary64_24731` `sub-1-sin_binary64_24730` `sub-1-cos_binary64_24729` `-1-add-sin_binary64_24728` `-1-add-cos_binary64_24727` `1-sub-sin_binary64_24726` `1-sub-cos_binary64_24725` `cos-sin-sum_binary64_24724` `log-E_binary64_24720` `log-pow_binary64_24719` `log-rec_binary64_24718` `log-div_binary64_24717` `log-prod_binary64_24716` `pow-base-0_binary64_24714` `unpow1/3_binary64_24697` `unpow3_binary64_24696` `unpow2_binary64_24695` `unpow1/2_binary64_24694` `pow-plus_binary64_24693` `exp-to-pow_binary64_24692` `pow-base-1_binary64_24690` `unpow0_binary64_24689` `unpow1_binary64_24688` `unpow-1_binary64_24687` `exp-lft-cube_binary64_24686` `exp-cbrt_binary64_24684` `exp-sqrt_binary64_24683` `div-exp_binary64_24681` `rec-exp_binary64_24680` `prod-exp_binary64_24679` `exp-neg_binary64_24677` `e-exp-1_binary64_24675` `exp-1-e_binary64_24673` `exp-0_binary64_24672` `rem-log-exp_binary64_24671` `rem-exp-log_binary64_24670` `cube-mult_binary64_24660` `cube-div_binary64_24659` `cube-prod_binary64_24658` `cube-neg_binary64_24657` `rem-3cbrt-rft_binary64_24656` `rem-3cbrt-lft_binary64_24655` `rem-cbrt-cube_binary64_24654` `rem-cube-cbrt_binary64_24653` `sqr-abs_binary64_24645` `rem-sqrt-square_binary64_24643` `rem-square-sqrt_binary64_24642` `/-rgt-identity_binary64_24621` `-rgt-identity_binary64_24620` `-lft-identity_binary64_24619` `+-inverses_binary64_24609` `lft-mult-inverse_binary64_24608` `rgt-mult-inverse_binary64_24607` `remove-double-div_binary64_24606` `pow-sqr_binary64_24603` `sqr-pow_binary64_24602` `difference-of-sqr--1_binary64_24601` `difference-of-sqr-1_binary64_24600` `difference-of-squares_binary64_24599` `unswap-sqr_binary64_24598` `cancel-sign-sub_binary64_24595` `distribute-neg-out_binary64_24592`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	21	16
2	38	16
3	74	16
4	149	16
5	268	16
6	681	16
7	3803	16

prune7.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 3

Compiler

Compiled 55 to 43 computations (21.8% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
1.4b	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

rewrite288.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_24636`
197×	`*-un-lft-identity_binary64_24630`
195×	`add-sqr-sqrt_binary64_24652`
91×	`add-cube-cbrt_binary64_24665`
52×	`difference-of-squares_binary64_24599` `distribute-lft-out--_binary64_24582`
36×	`associate-/r*_binary64_24574`
11×	`associate-/r/_binary64_24576`
10×	`add-exp-log_binary64_24668` `add-cbrt-cube_binary64_24666`
8×	`associate-/l*_binary64_24575`
6×	`div-inv_binary64_24627` `flip3--_binary64_24634` `flip--_binary64_24605`
5×	`add-log-exp_binary64_24669`
4×	`div-exp_binary64_24681` `cbrt-undiv_binary64_24664`
3×	`pow1_binary64_24691`
2×	`frac-2neg_binary64_24641` `clear-num_binary64_24629` `associate-/l/_binary64_24577`
1×	`div-sub_binary64_24635` `sum-log_binary64_24721` `flip3-+_binary64_24633` `flip-+_binary64_24604` `distribute-lft-out_binary64_24581` `+-commutative_binary64_24560`

Counts

3 → 206

Calls

3 calls:

29.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
13.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))
9.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 4812 to 1041 computations (78.4% saved)

series1.4s (9.9%)

Error

0.0b

Counts

3 → 79

Calls

3 calls:

653.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
356.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))
274.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 3626 to 2200 computations (39.3% saved)

simplify584.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

557×	`distribute-rgt-in_binary64_24580`
342×	`cancel-sign-sub-inv_binary64_24596`
261×	`associate-/r/_binary64_24576`
246×	`associate-/l*_binary64_24575`
225×	`associate-/l/_binary64_24577`
222×	`sub-neg_binary64_24623`
167×	`*-commutative_binary64_24561`
158×	`associate-*l/_binary64_24573`
121×	`times-frac_binary64_24636`
111×	`div-sub_binary64_24635`
109×	`+-commutative_binary64_24560`
107×	`distribute-lft-in_binary64_24579`
93×	`associate--l+_binary64_24567`
87×	`distribute-neg-frac_binary64_24594`
86×	`distribute-rgt-neg-in_binary64_24588`
83×	`associate-*r/_binary64_24572`
78×	`associate-/r*_binary64_24574`
75×	`distribute-lft-neg-in_binary64_24587`
68×	`associate-r_binary64_24570`
67×	`neg-sub0_binary64_24625`
65×	`distribute-lft-neg-out_binary64_24589`
61×	`neg-mul-1_binary64_24626`
57×	`distribute-rgt-neg-out_binary64_24590`
56×	`associate--r+_binary64_24566`
54×	`*-rgt-identity_binary64_24620`
53×	`/-rgt-identity_binary64_24621` `associate-l_binary64_24571`
52×	`associate-+l+_binary64_24563`
45×	`distribute-neg-in_binary64_24591`
42×	`distribute-rgt-out_binary64_24583`
37×	`sqr-pow_binary64_24602`
36×	`associate-+r+_binary64_24562`
31×	`unsub-neg_binary64_24624`
27×	`distribute-rgt-out--_binary64_24584`
17×	`prod-exp_binary64_24679` `*-lft-identity_binary64_24619` `pow-sqr_binary64_24603`
16×	`div-exp_binary64_24681`
15×	`log-div_binary64_24717`
14×	`cube-div_binary64_24659` `distribute-rgt1-in_binary64_24586`
13×	`unswap-sqr_binary64_24598`
11×	`exp-sum_binary64_24676`
10×	`log-prod_binary64_24716` `cube-prod_binary64_24658` `swap-sqr_binary64_24597`
9×	`exp-prod_binary64_24682`
8×	`difference-of-squares_binary64_24599`
7×	`unpow3_binary64_24696` `pow-plus_binary64_24693` `mul-1-neg_binary64_24622`
6×	`cube-unmult_binary64_24667` `distribute-lft-out_binary64_24581`
5×	`cube-mult_binary64_24660`
4×	`rec-exp_binary64_24680` `exp-diff_binary64_24678` `remove-double-div_binary64_24606` `associate--r-_binary64_24569`
3×	`unpow2_binary64_24695` `unpow1_binary64_24688` `remove-double-neg_binary64_24618` `distribute-lft-out--_binary64_24582`
2×	`div0_binary64_24611` `*-inverses_binary64_24610`
1×	`log-pow_binary64_24719` `log-rec_binary64_24718` `1-exp_binary64_24674` `rem-log-exp_binary64_24671` `distribute-lft1-in_binary64_24585` `associate-+l-_binary64_24565` `associate-+r-_binary64_24564`
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_24893` `erf-erfc_binary64_24892` `erf-odd_binary64_24891` `if-if-and-not_binary64_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `not-gte_binary64_24882` `not-lte_binary64_24881` `not-gt_binary64_24880` `not-lt_binary64_24879` `gte-same_binary64_24878` `lte-same_binary64_24877` `gt-same_binary64_24876` `lt-same_binary64_24875` `sinh---cosh_binary64_24822` `sinh-+-cosh_binary64_24821` `sinh-cosh_binary64_24820` `tanh-def-c_binary64_24819` `tanh-def-b_binary64_24818` `tanh-def-a_binary64_24817` `cosh-def_binary64_24816` `sinh-def_binary64_24815` `tan-neg_binary64_24762` `cos-neg_binary64_24761` `sin-neg_binary64_24760` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `hang-m-tan_binary64_24756` `hang-p-tan_binary64_24755` `hang-m0-tan_binary64_24754` `hang-p0-tan_binary64_24753` `hang-0m-tan_binary64_24752` `hang-0p-tan_binary64_24751` `tan-+PI/2_binary64_24750` `tan-+PI_binary64_24749` `tan-PI_binary64_24748` `tan-PI/3_binary64_24747` `tan-PI/4_binary64_24746` `tan-PI/6_binary64_24745` `cos-+PI/2_binary64_24744` `cos-+PI_binary64_24743` `cos-PI_binary64_24742` `cos-PI/2_binary64_24741` `cos-PI/3_binary64_24740` `cos-PI/4_binary64_24739` `cos-PI/6_binary64_24738` `sin-+PI/2_binary64_24737` `sin-+PI_binary64_24736` `sin-PI_binary64_24735` `sin-PI/2_binary64_24734` `sin-PI/3_binary64_24733` `sin-PI/4_binary64_24732` `sin-PI/6_binary64_24731` `sub-1-sin_binary64_24730` `sub-1-cos_binary64_24729` `-1-add-sin_binary64_24728` `-1-add-cos_binary64_24727` `1-sub-sin_binary64_24726` `1-sub-cos_binary64_24725` `cos-sin-sum_binary64_24724` `log-E_binary64_24720` `pow-base-0_binary64_24714` `unpow1/3_binary64_24697` `unpow1/2_binary64_24694` `exp-to-pow_binary64_24692` `pow-base-1_binary64_24690` `unpow0_binary64_24689` `unpow-1_binary64_24687` `exp-lft-cube_binary64_24686` `exp-lft-sqr_binary64_24685` `exp-cbrt_binary64_24684` `exp-sqrt_binary64_24683` `exp-neg_binary64_24677` `e-exp-1_binary64_24675` `exp-1-e_binary64_24673` `exp-0_binary64_24672` `rem-exp-log_binary64_24670` `cube-neg_binary64_24657` `rem-3cbrt-rft_binary64_24656` `rem-3cbrt-lft_binary64_24655` `rem-cbrt-cube_binary64_24654` `rem-cube-cbrt_binary64_24653` `sqr-abs_binary64_24645` `sqr-neg_binary64_24644` `rem-sqrt-square_binary64_24643` `rem-square-sqrt_binary64_24642` `sub0-neg_binary64_24617` `--rgt-identity_binary64_24616` `+-rgt-identity_binary64_24615` `+-lft-identity_binary64_24614` `mul0-rgt_binary64_24613` `mul0-lft_binary64_24612` `+-inverses_binary64_24609` `lft-mult-inverse_binary64_24608` `rgt-mult-inverse_binary64_24607` `difference-of-sqr--1_binary64_24601` `difference-of-sqr-1_binary64_24600` `cancel-sign-sub_binary64_24595` `distribute-frac-neg_binary64_24593` `distribute-neg-out_binary64_24592` `count-2_binary64_24578` `associate--l-_binary64_24568`

Counts

285 → 908

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	393	6889
1	975	6652
2	3652	6490

prune894.0ms (6.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	907	1	908
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	907	4	911

Error

Counts

911 → 4

Compiler

Compiled 22534 to 3091 computations (86.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
1.4b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite134.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_24652`
71×	`*-un-lft-identity_binary64_24630`
51×	`times-frac_binary64_24636`
31×	`associate-r_binary64_24570`
27×	`add-cube-cbrt_binary64_24665`
22×	`difference-of-squares_binary64_24599` `distribute-lft-out--_binary64_24582`
10×	`add-exp-log_binary64_24668` `add-cbrt-cube_binary64_24666`
5×	`pow1_binary64_24691` `add-log-exp_binary64_24669` `associate-/l_binary64_24575` `associate-/r_binary64_24574`
4×	`associate-/r/_binary64_24576`
3×	`associate-l_binary64_24571` `flip3--_binary64_24634` `flip--_binary64_24605`
2×	`div-exp_binary64_24681` `prod-exp_binary64_24679` `cbrt-unprod_binary64_24663` `cbrt-undiv_binary64_24664` `unswap-sqr_binary64_24598` `div-inv_binary64_24627` `associate-/l/_binary64_24577`
1×	`pow-prod-down_binary64_24701` `associate-r/_binary64_24572` `-commutative_binary64_24561` `frac-2neg_binary64_24641` `div-sub_binary64_24635` `clear-num_binary64_24629` `sum-log_binary64_24721` `flip3-+_binary64_24633` `flip-+_binary64_24604` `+-commutative_binary64_24560`

Counts

3 → 113

Calls

3 calls:

15.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
8.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
3.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.3s (9.4%)

Error

Counts

3 → 71

Calls

3 calls:

651.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
355.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
223.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 2984 to 1774 computations (40.5% saved)

simplify312.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

564×	`times-frac_binary64_24636`
485×	`distribute-rgt-in_binary64_24580`
467×	`distribute-lft-in_binary64_24579`
311×	`associate-/l/_binary64_24577`
155×	`cancel-sign-sub-inv_binary64_24596`
128×	`sub-neg_binary64_24623`
114×	`associate-l_binary64_24571`
104×	`associate-/l*_binary64_24575`
102×	`associate-r_binary64_24570`
82×	`div-sub_binary64_24635` `associate-*r/_binary64_24572`
81×	`distribute-neg-frac_binary64_24594`
79×	`+-commutative_binary64_24560`
76×	`associate-*l/_binary64_24573`
74×	`*-commutative_binary64_24561`
69×	`distribute-rgt-neg-in_binary64_24588`
58×	`associate--l+_binary64_24567`
56×	`neg-sub0_binary64_24625`
53×	`distribute-lft-neg-in_binary64_24587`
50×	`neg-mul-1_binary64_24626`
44×	`associate-/r*_binary64_24574`
42×	`distribute-lft-neg-out_binary64_24589`
39×	`sqr-pow_binary64_24602` `associate-/r/_binary64_24576`
33×	`associate-+l+_binary64_24563`
32×	`distribute-rgt-neg-out_binary64_24590`
30×	`*-lft-identity_binary64_24619`
27×	`distribute-neg-in_binary64_24591`
21×	`*-rgt-identity_binary64_24620` `distribute-rgt-out_binary64_24583`
20×	`associate--r+_binary64_24566`
18×	`associate-+r+_binary64_24562`
16×	`log-div_binary64_24717` `unsub-neg_binary64_24624` `distribute-rgt-out--_binary64_24584`
15×	`cube-div_binary64_24659` `pow-sqr_binary64_24603` `unswap-sqr_binary64_24598`
14×	`log-prod_binary64_24716` `cube-prod_binary64_24658`
13×	`/-rgt-identity_binary64_24621`
11×	`exp-prod_binary64_24682`
10×	`prod-exp_binary64_24679`
9×	`unpow3_binary64_24696` `div-exp_binary64_24681` `exp-sum_binary64_24676`
8×	`difference-of-squares_binary64_24599`
7×	`mul-1-neg_binary64_24622` `swap-sqr_binary64_24597` `distribute-rgt1-in_binary64_24586`
6×	`pow-plus_binary64_24693` `cube-mult_binary64_24660`
4×	`exp-diff_binary64_24678` `distribute-lft-out_binary64_24581`
3×	`rec-exp_binary64_24680` `cube-unmult_binary64_24667` `distribute-lft-out--_binary64_24582`
2×	`log-rec_binary64_24718` `unpow2_binary64_24695` `unpow1_binary64_24688` `*-inverses_binary64_24610` `associate--r-_binary64_24569` `associate-+l-_binary64_24565` `associate-+r-_binary64_24564`
1×	`exp-sqrt_binary64_24683` `1-exp_binary64_24674` `exp-1-e_binary64_24673` `rem-log-exp_binary64_24671` `remove-double-neg_binary64_24618` `div0_binary64_24611`
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_24893` `erf-erfc_binary64_24892` `erf-odd_binary64_24891` `if-if-and-not_binary64_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `not-gte_binary64_24882` `not-lte_binary64_24881` `not-gt_binary64_24880` `not-lt_binary64_24879` `gte-same_binary64_24878` `lte-same_binary64_24877` `gt-same_binary64_24876` `lt-same_binary64_24875` `sinh---cosh_binary64_24822` `sinh-+-cosh_binary64_24821` `sinh-cosh_binary64_24820` `tanh-def-c_binary64_24819` `tanh-def-b_binary64_24818` `tanh-def-a_binary64_24817` `cosh-def_binary64_24816` `sinh-def_binary64_24815` `tan-neg_binary64_24762` `cos-neg_binary64_24761` `sin-neg_binary64_24760` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `hang-m-tan_binary64_24756` `hang-p-tan_binary64_24755` `hang-m0-tan_binary64_24754` `hang-p0-tan_binary64_24753` `hang-0m-tan_binary64_24752` `hang-0p-tan_binary64_24751` `tan-+PI/2_binary64_24750` `tan-+PI_binary64_24749` `tan-PI_binary64_24748` `tan-PI/3_binary64_24747` `tan-PI/4_binary64_24746` `tan-PI/6_binary64_24745` `cos-+PI/2_binary64_24744` `cos-+PI_binary64_24743` `cos-PI_binary64_24742` `cos-PI/2_binary64_24741` `cos-PI/3_binary64_24740` `cos-PI/4_binary64_24739` `cos-PI/6_binary64_24738` `sin-+PI/2_binary64_24737` `sin-+PI_binary64_24736` `sin-PI_binary64_24735` `sin-PI/2_binary64_24734` `sin-PI/3_binary64_24733` `sin-PI/4_binary64_24732` `sin-PI/6_binary64_24731` `sub-1-sin_binary64_24730` `sub-1-cos_binary64_24729` `-1-add-sin_binary64_24728` `-1-add-cos_binary64_24727` `1-sub-sin_binary64_24726` `1-sub-cos_binary64_24725` `cos-sin-sum_binary64_24724` `log-E_binary64_24720` `log-pow_binary64_24719` `pow-base-0_binary64_24714` `unpow1/3_binary64_24697` `unpow1/2_binary64_24694` `exp-to-pow_binary64_24692` `pow-base-1_binary64_24690` `unpow0_binary64_24689` `unpow-1_binary64_24687` `exp-lft-cube_binary64_24686` `exp-lft-sqr_binary64_24685` `exp-cbrt_binary64_24684` `exp-neg_binary64_24677` `e-exp-1_binary64_24675` `exp-0_binary64_24672` `rem-exp-log_binary64_24670` `cube-neg_binary64_24657` `rem-3cbrt-rft_binary64_24656` `rem-3cbrt-lft_binary64_24655` `rem-cbrt-cube_binary64_24654` `rem-cube-cbrt_binary64_24653` `sqr-abs_binary64_24645` `sqr-neg_binary64_24644` `rem-sqrt-square_binary64_24643` `rem-square-sqrt_binary64_24642` `sub0-neg_binary64_24617` `--rgt-identity_binary64_24616` `+-rgt-identity_binary64_24615` `+-lft-identity_binary64_24614` `mul0-rgt_binary64_24613` `mul0-lft_binary64_24612` `+-inverses_binary64_24609` `lft-mult-inverse_binary64_24608` `rgt-mult-inverse_binary64_24607` `remove-double-div_binary64_24606` `difference-of-sqr--1_binary64_24601` `difference-of-sqr-1_binary64_24600` `cancel-sign-sub_binary64_24595` `distribute-frac-neg_binary64_24593` `distribute-neg-out_binary64_24592` `distribute-lft1-in_binary64_24585` `count-2_binary64_24578` `associate--l-_binary64_24568`

Counts

184 → 218

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	236	3293
1	634	3110
2	2133	3023

prune174.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	218	0	218
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	218	4	222

Error

Counts

222 → 4

Compiler

Compiled 4112 to 702 computations (82.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (-.f64 a t))
0.0b	(+.f64 x (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
13.1b	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))

rewrite125.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

44×	`add-sqr-sqrt_binary64_24652`
39×	`*-un-lft-identity_binary64_24630`
31×	`times-frac_binary64_24636`
23×	`add-cube-cbrt_binary64_24665`
21×	`associate-r_binary64_24570`
10×	`add-exp-log_binary64_24668` `add-cbrt-cube_binary64_24666`
8×	`difference-of-squares_binary64_24599` `distribute-lft-out--_binary64_24582`
5×	`pow1_binary64_24691` `add-log-exp_binary64_24669` `associate-l_binary64_24571` `associate-/r*_binary64_24574`
4×	`flip3--_binary64_24634` `flip--_binary64_24605` `associate-/r/_binary64_24576`
3×	`associate-/l*_binary64_24575`
2×	`div-exp_binary64_24681` `prod-exp_binary64_24679` `cbrt-unprod_binary64_24663` `cbrt-undiv_binary64_24664` `frac-times_binary64_24640` `unswap-sqr_binary64_24598` `associate-*l/_binary64_24573` `div-inv_binary64_24627`
1×	`pow-prod-down_binary64_24701` `associate-r/_binary64_24572` `-commutative_binary64_24561` `sum-log_binary64_24721` `flip3-+_binary64_24633` `flip-+_binary64_24604` `+-commutative_binary64_24560` `frac-2neg_binary64_24641` `clear-num_binary64_24629`

Counts

3 → 94

Calls

3 calls:

18.0ms	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))
5.0ms	(/.f64 y (-.f64 a t))
4.0ms	(+.f64 x (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))

Compiler

Compiled 1884 to 440 computations (76.6% saved)

series1.2s (8.4%)

Error

Counts

3 → 68

Calls

3 calls:

634.0ms	(+.f64 x (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
348.0ms	(*.f64 (-.f64 z t) (/.f64 y (-.f64 a t)))
127.0ms	(/.f64 y (-.f64 a t))

Compiler

Compiled 2821 to 1660 computations (41.2% saved)

simplify235.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

467×	`distribute-rgt-in_binary64_24580`
457×	`times-frac_binary64_24636`
449×	`distribute-lft-in_binary64_24579`
267×	`associate-/l/_binary64_24577`
137×	`cancel-sign-sub-inv_binary64_24596`
102×	`associate-/l*_binary64_24575`
96×	`div-sub_binary64_24635` `associate-l_binary64_24571`
95×	`sub-neg_binary64_24623`
86×	`associate-r_binary64_24570`
78×	`associate-*r/_binary64_24572`
75×	`associate-*l/_binary64_24573`
74×	`*-commutative_binary64_24561`
68×	`distribute-rgt-neg-in_binary64_24588` `+-commutative_binary64_24560`
64×	`distribute-neg-frac_binary64_24594`
56×	`distribute-lft-neg-in_binary64_24587`
48×	`distribute-lft-neg-out_binary64_24589`
43×	`neg-sub0_binary64_24625` `sqr-pow_binary64_24602`
42×	`associate--l+_binary64_24567`
39×	`distribute-rgt-neg-out_binary64_24590`
38×	`neg-mul-1_binary64_24626`
34×	`associate-/r/_binary64_24576`
29×	`associate-/r*_binary64_24574`
28×	`associate-+l+_binary64_24563`
24×	`distribute-neg-in_binary64_24591`
23×	`*-lft-identity_binary64_24619`
19×	`*-rgt-identity_binary64_24620`
18×	`distribute-rgt-out_binary64_24583`
17×	`pow-sqr_binary64_24603`
16×	`associate-+r+_binary64_24562`
15×	`log-div_binary64_24717` `log-prod_binary64_24716` `unswap-sqr_binary64_24598`
14×	`cube-prod_binary64_24658` `distribute-rgt-out--_binary64_24584`
13×	`cube-div_binary64_24659` `unsub-neg_binary64_24624`
12×	`/-rgt-identity_binary64_24621` `difference-of-squares_binary64_24599` `associate--r+_binary64_24566`
11×	`exp-prod_binary64_24682` `exp-sum_binary64_24676`
10×	`unpow3_binary64_24696` `prod-exp_binary64_24679`
9×	`div-exp_binary64_24681`
7×	`cube-mult_binary64_24660`
6×	`pow-plus_binary64_24693` `mul-1-neg_binary64_24622` `swap-sqr_binary64_24597` `distribute-rgt1-in_binary64_24586`
5×	`exp-diff_binary64_24678`
4×	`distribute-lft-out_binary64_24581`
3×	`log-rec_binary64_24718` `rec-exp_binary64_24680` `cube-unmult_binary64_24667` `distribute-lft-out--_binary64_24582`
2×	`unpow2_binary64_24695` `unpow1_binary64_24688` `associate-+l-_binary64_24565` `associate-+r-_binary64_24564`
1×	`exp-sqrt_binary64_24683` `1-exp_binary64_24674` `exp-1-e_binary64_24673` `rem-log-exp_binary64_24671` `remove-double-neg_binary64_24618` `div0_binary64_24611` `*-inverses_binary64_24610` `associate--r-_binary64_24569`
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_24893` `erf-erfc_binary64_24892` `erf-odd_binary64_24891` `if-if-and-not_binary64_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `not-gte_binary64_24882` `not-lte_binary64_24881` `not-gt_binary64_24880` `not-lt_binary64_24879` `gte-same_binary64_24878` `lte-same_binary64_24877` `gt-same_binary64_24876` `lt-same_binary64_24875` `sinh---cosh_binary64_24822` `sinh-+-cosh_binary64_24821` `sinh-cosh_binary64_24820` `tanh-def-c_binary64_24819` `tanh-def-b_binary64_24818` `tanh-def-a_binary64_24817` `cosh-def_binary64_24816` `sinh-def_binary64_24815` `tan-neg_binary64_24762` `cos-neg_binary64_24761` `sin-neg_binary64_24760` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `hang-m-tan_binary64_24756` `hang-p-tan_binary64_24755` `hang-m0-tan_binary64_24754` `hang-p0-tan_binary64_24753` `hang-0m-tan_binary64_24752` `hang-0p-tan_binary64_24751` `tan-+PI/2_binary64_24750` `tan-+PI_binary64_24749` `tan-PI_binary64_24748` `tan-PI/3_binary64_24747` `tan-PI/4_binary64_24746` `tan-PI/6_binary64_24745` `cos-+PI/2_binary64_24744` `cos-+PI_binary64_24743` `cos-PI_binary64_24742` `cos-PI/2_binary64_24741` `cos-PI/3_binary64_24740` `cos-PI/4_binary64_24739` `cos-PI/6_binary64_24738` `sin-+PI/2_binary64_24737` `sin-+PI_binary64_24736` `sin-PI_binary64_24735` `sin-PI/2_binary64_24734` `sin-PI/3_binary64_24733` `sin-PI/4_binary64_24732` `sin-PI/6_binary64_24731` `sub-1-sin_binary64_24730` `sub-1-cos_binary64_24729` `-1-add-sin_binary64_24728` `-1-add-cos_binary64_24727` `1-sub-sin_binary64_24726` `1-sub-cos_binary64_24725` `cos-sin-sum_binary64_24724` `log-E_binary64_24720` `log-pow_binary64_24719` `pow-base-0_binary64_24714` `unpow1/3_binary64_24697` `unpow1/2_binary64_24694` `exp-to-pow_binary64_24692` `pow-base-1_binary64_24690` `unpow0_binary64_24689` `unpow-1_binary64_24687` `exp-lft-cube_binary64_24686` `exp-lft-sqr_binary64_24685` `exp-cbrt_binary64_24684` `exp-neg_binary64_24677` `e-exp-1_binary64_24675` `exp-0_binary64_24672` `rem-exp-log_binary64_24670` `cube-neg_binary64_24657` `rem-3cbrt-rft_binary64_24656` `rem-3cbrt-lft_binary64_24655` `rem-cbrt-cube_binary64_24654` `rem-cube-cbrt_binary64_24653` `sqr-abs_binary64_24645` `sqr-neg_binary64_24644` `rem-sqrt-square_binary64_24643` `rem-square-sqrt_binary64_24642` `sub0-neg_binary64_24617` `--rgt-identity_binary64_24616` `+-rgt-identity_binary64_24615` `+-lft-identity_binary64_24614` `mul0-rgt_binary64_24613` `mul0-lft_binary64_24612` `+-inverses_binary64_24609` `lft-mult-inverse_binary64_24608` `rgt-mult-inverse_binary64_24607` `remove-double-div_binary64_24606` `difference-of-sqr--1_binary64_24601` `difference-of-sqr-1_binary64_24600` `cancel-sign-sub_binary64_24595` `distribute-frac-neg_binary64_24593` `distribute-neg-out_binary64_24592` `distribute-lft1-in_binary64_24585` `count-2_binary64_24578` `associate--l-_binary64_24568`

Counts

162 → 223

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	215	2827
1	541	2560
2	1937	2476

prune177.0ms (1.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	223	4	227

Error

Counts

227 → 4

Compiler

Compiled 3939 to 616 computations (84.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y)))
0.0b	(/.f64 1 (-.f64 a t))
0.0b	(*.f64 (-.f64 z t) y)
10.3b	(.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y))

rewrite165.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`add-sqr-sqrt_binary64_24652`
41×	`*-un-lft-identity_binary64_24630`
32×	`add-exp-log_binary64_24668`
30×	`times-frac_binary64_24636`
26×	`associate-l_binary64_24571`
25×	`add-cube-cbrt_binary64_24665`
20×	`add-cbrt-cube_binary64_24666`
13×	`prod-exp_binary64_24679`
12×	`pow1_binary64_24691`
8×	`difference-of-squares_binary64_24599` `distribute-lft-out--_binary64_24582`
7×	`cbrt-unprod_binary64_24663` `associate-*l/_binary64_24573`
6×	`div-exp_binary64_24681` `add-log-exp_binary64_24669`
5×	`flip3--_binary64_24634` `flip--_binary64_24605` `associate-/r*_binary64_24574`
4×	`pow-prod-down_binary64_24701` `associate-/r/_binary64_24576` `associate-r_binary64_24570`
3×	`1-exp_binary64_24674` `rec-exp_binary64_24680` `cbrt-undiv_binary64_24664` `associate-/l*_binary64_24575`
2×	`frac-times_binary64_24640` `associate-r/_binary64_24572` `div-inv_binary64_24627` `-commutative_binary64_24561`
1×	`unswap-sqr_binary64_24598` `inv-pow_binary64_24715` `pow-flip_binary64_24704` `frac-2neg_binary64_24641` `clear-num_binary64_24629` `sum-log_binary64_24721` `flip3-+_binary64_24633` `flip-+_binary64_24604` `+-commutative_binary64_24560`

Counts

4 → 123

Calls

4 calls:

15.0ms	(.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y))
7.0ms	(*.f64 (-.f64 z t) y)
6.0ms	(/.f64 1 (-.f64 a t))
4.0ms	(+.f64 x (.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y)))

Compiler

Compiled 2643 to 1014 computations (61.6% saved)

series1.3s (9.3%)

Error

Counts

4 → 80

Calls

4 calls:

635.0ms	(+.f64 x (.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y)))
350.0ms	(.f64 (/.f64 1 (-.f64 a t)) (.f64 (-.f64 z t) y))
154.0ms	(*.f64 (-.f64 z t) y)
71.0ms	(/.f64 1 (-.f64 a t))

Compiler

Compiled 3253 to 1996 computations (38.6% saved)

simplify541.0ms (4%)

Algorithm

1×	egg-herbie

Rules

614×	`times-frac_binary64_24636`
463×	`associate-/l*_binary64_24575`
223×	`associate-r_binary64_24570`
191×	`associate-/r*_binary64_24574`
179×	`associate-l_binary64_24571`
169×	`cancel-sign-sub-inv_binary64_24596`
158×	`associate-/r/_binary64_24576`
127×	`associate--l+_binary64_24567`
112×	`*-commutative_binary64_24561`
107×	`associate-/l/_binary64_24577`
101×	`sub-neg_binary64_24623` `distribute-rgt-in_binary64_24580`
95×	`distribute-rgt-neg-in_binary64_24588`
94×	`distribute-lft-in_binary64_24579`
90×	`distribute-lft-neg-out_binary64_24589`
75×	`associate-*l/_binary64_24573`
74×	`div-sub_binary64_24635` `+-commutative_binary64_24560`
73×	`distribute-rgt-neg-out_binary64_24590` `distribute-lft-neg-in_binary64_24587`
69×	`associate-+l-_binary64_24565`
55×	`distribute-neg-frac_binary64_24594`
50×	`sqr-pow_binary64_24602`
49×	`associate--r+_binary64_24566`
42×	`neg-sub0_binary64_24625`
39×	`exp-prod_binary64_24682` `associate-*r/_binary64_24572`
38×	`neg-mul-1_binary64_24626` `distribute-rgt-out_binary64_24583`
34×	`distribute-neg-in_binary64_24591`
33×	`-rgt-identity_binary64_24620` `-lft-identity_binary64_24619`
32×	`associate-+l+_binary64_24563`
29×	`associate--l-_binary64_24568`
22×	`exp-sum_binary64_24676`
21×	`distribute-rgt-out--_binary64_24584`
20×	`associate-+r+_binary64_24562`
19×	`log-prod_binary64_24716` `pow-sqr_binary64_24603` `swap-sqr_binary64_24597`
18×	`cube-prod_binary64_24658`
17×	`log-div_binary64_24717`
16×	`cube-div_binary64_24659`
15×	`/-rgt-identity_binary64_24621` `unswap-sqr_binary64_24598`
12×	`unsub-neg_binary64_24624` `difference-of-squares_binary64_24599`
9×	`unpow3_binary64_24696`
7×	`pow-plus_binary64_24693` `exp-diff_binary64_24678` `cube-mult_binary64_24660` `mul-1-neg_binary64_24622`
6×	`distribute-lft-out_binary64_24581` `associate--r-_binary64_24569`
5×	`log-rec_binary64_24718` `cube-unmult_binary64_24667` `distribute-neg-out_binary64_24592`
4×	`distribute-rgt1-in_binary64_24586` `distribute-lft-out--_binary64_24582`
2×	`unpow2_binary64_24695` `unpow1_binary64_24688` `prod-exp_binary64_24679` `sub0-neg_binary64_24617`
1×	`log-pow_binary64_24719` `exp-sqrt_binary64_24683` `div-exp_binary64_24681` `rec-exp_binary64_24680` `1-exp_binary64_24674` `exp-1-e_binary64_24673` `rem-log-exp_binary64_24671` `rem-cbrt-cube_binary64_24654` `rem-sqrt-square_binary64_24643` `remove-double-neg_binary64_24618` `*-inverses_binary64_24610` `cancel-sign-sub_binary64_24595` `distribute-frac-neg_binary64_24593` `count-2_binary64_24578` `associate-+r-_binary64_24564`
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_24893` `erf-erfc_binary64_24892` `erf-odd_binary64_24891` `if-if-and-not_binary64_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `not-gte_binary64_24882` `not-lte_binary64_24881` `not-gt_binary64_24880` `not-lt_binary64_24879` `gte-same_binary64_24878` `lte-same_binary64_24877` `gt-same_binary64_24876` `lt-same_binary64_24875` `sinh---cosh_binary64_24822` `sinh-+-cosh_binary64_24821` `sinh-cosh_binary64_24820` `tanh-def-c_binary64_24819` `tanh-def-b_binary64_24818` `tanh-def-a_binary64_24817` `cosh-def_binary64_24816` `sinh-def_binary64_24815` `tan-neg_binary64_24762` `cos-neg_binary64_24761` `sin-neg_binary64_24760` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `hang-m-tan_binary64_24756` `hang-p-tan_binary64_24755` `hang-m0-tan_binary64_24754` `hang-p0-tan_binary64_24753` `hang-0m-tan_binary64_24752` `hang-0p-tan_binary64_24751` `tan-+PI/2_binary64_24750` `tan-+PI_binary64_24749` `tan-PI_binary64_24748` `tan-PI/3_binary64_24747` `tan-PI/4_binary64_24746` `tan-PI/6_binary64_24745` `cos-+PI/2_binary64_24744` `cos-+PI_binary64_24743` `cos-PI_binary64_24742` `cos-PI/2_binary64_24741` `cos-PI/3_binary64_24740` `cos-PI/4_binary64_24739` `cos-PI/6_binary64_24738` `sin-+PI/2_binary64_24737` `sin-+PI_binary64_24736` `sin-PI_binary64_24735` `sin-PI/2_binary64_24734` `sin-PI/3_binary64_24733` `sin-PI/4_binary64_24732` `sin-PI/6_binary64_24731` `sub-1-sin_binary64_24730` `sub-1-cos_binary64_24729` `-1-add-sin_binary64_24728` `-1-add-cos_binary64_24727` `1-sub-sin_binary64_24726` `1-sub-cos_binary64_24725` `cos-sin-sum_binary64_24724` `log-E_binary64_24720` `pow-base-0_binary64_24714` `unpow1/3_binary64_24697` `unpow1/2_binary64_24694` `exp-to-pow_binary64_24692` `pow-base-1_binary64_24690` `unpow0_binary64_24689` `unpow-1_binary64_24687` `exp-lft-cube_binary64_24686` `exp-lft-sqr_binary64_24685` `exp-cbrt_binary64_24684` `exp-neg_binary64_24677` `e-exp-1_binary64_24675` `exp-0_binary64_24672` `rem-exp-log_binary64_24670` `cube-neg_binary64_24657` `rem-3cbrt-rft_binary64_24656` `rem-3cbrt-lft_binary64_24655` `rem-cube-cbrt_binary64_24653` `sqr-abs_binary64_24645` `sqr-neg_binary64_24644` `rem-square-sqrt_binary64_24642` `--rgt-identity_binary64_24616` `+-rgt-identity_binary64_24615` `+-lft-identity_binary64_24614` `mul0-rgt_binary64_24613` `mul0-lft_binary64_24612` `div0_binary64_24611` `+-inverses_binary64_24609` `lft-mult-inverse_binary64_24608` `rgt-mult-inverse_binary64_24607` `remove-double-div_binary64_24606` `difference-of-sqr--1_binary64_24601` `difference-of-sqr-1_binary64_24600` `distribute-lft1-in_binary64_24585`

Counts

203 → 382

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	3312
1	650	2951
2	2447	2722

prune360.0ms (2.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	382	0	382
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	382	4	386

Error

Counts

386 → 4

Compiler

Compiled 7745 to 2019 computations (73.9% saved)

regimes1.2s (8.7%)

Accuracy

Total 1.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 7836 to 6602 computations (15.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64_24560`
3×	`sub-neg_binary64_24623`
1×	`neg-mul-1_binary64_24626` `neg-sub0_binary64_24625` `*-commutative_binary64_24561`
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_24890` `if-if-and_binary64_24889` `if-if-or-not_binary64_24888` `if-if-or_binary64_24887` `if-not_binary64_24886` `if-same_binary64_24885` `if-false_binary64_24884` `if-true_binary64_24883` `tan-0_binary64_24759` `cos-0_binary64_24758` `sin-0_binary64_24757` `unpow1_binary64_24688` `e-exp-1_binary64_24675` `1-exp_binary64_24674` `exp-1-e_binary64_24673` `exp-0_binary64_24672` `sqr-abs_binary64_24645` `sqr-neg_binary64_24644` `unsub-neg_binary64_24624` `mul-1-neg_binary64_24622` `/-rgt-identity_binary64_24621` `-rgt-identity_binary64_24620` `-lft-identity_binary64_24619` `remove-double-neg_binary64_24618` `sub0-neg_binary64_24617` `--rgt-identity_binary64_24616` `+-rgt-identity_binary64_24615` `+-lft-identity_binary64_24614` `cancel-sign-sub-inv_binary64_24596` `cancel-sign-sub_binary64_24595` `distribute-neg-frac_binary64_24594` `distribute-frac-neg_binary64_24593` `distribute-neg-out_binary64_24592` `distribute-neg-in_binary64_24591` `distribute-rgt-neg-out_binary64_24590` `distribute-lft-neg-out_binary64_24589` `distribute-rgt-neg-in_binary64_24588` `distribute-lft-neg-in_binary64_24587`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	15	16
2	21	16
3	23	16
4	24	16

Proof

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

end0.0ms (0%)

sample1.6s (11.9%)

Algorithm

1×

intervals

Results

303.0ms	8000×	body	128	valid
35.0ms	693×	body	128	invalid

Compiler

Compiled 1029 to 846 computations (17.8% saved)

Details

analyze938.0ms (6.9%)

sample25.0ms (0.2%)

simplify795.0ms (5.8%)

prune7.0ms (0.1%)

localize16.0ms (0.1%)

rewrite288.0ms (2.1%)

series1.4s (9.9%)

simplify584.0ms (4.3%)

prune894.0ms (6.5%)

localize8.0ms (0.1%)

rewrite134.0ms (1%)

series1.3s (9.4%)

simplify312.0ms (2.3%)

prune174.0ms (1.3%)

localize9.0ms (0.1%)

rewrite125.0ms (0.9%)

series1.2s (8.4%)

simplify235.0ms (1.7%)

prune177.0ms (1.3%)

localize10.0ms (0.1%)

rewrite165.0ms (1.2%)

series1.3s (9.3%)

simplify541.0ms (4%)

prune360.0ms (2.6%)

regimes1.2s (8.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.6s (11.9%)

Profiling