Date:	Saturday, February 13th, 2021
Commit:	c86199b5 on mpmf-cost-baseline2
Hostname:	warfa with Racket 7.9
Seed:	2021044
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

sample36.5s (31.6%)

Algorithm

26×

intervals

Results

10.8s	6373×	body	8192	exit
5.4s	17169×	body	1024	valid
2.9s	79345×	body	128	valid
1.5s	4953×	body	1024	nan
1.4s	6806×	body	512	valid
872.0ms	24768×	pre	128	true
496.0ms	818×	body	2048	valid
465.0ms	3190×	body	256	valid
443.0ms	2413×	body	512	nan
170.0ms	2053×	body	128	invalid
137.0ms	1259×	body	256	nan
69.0ms	203×	body	1024	invalid
56.0ms	244×	body	512	invalid
50.0ms	762×	body	128	nan
30.0ms	181×	body	256	invalid
10.0ms	154×	body	128	overflowed
2.0ms	1×	body	8192	nan
2.0ms	5×	body	2048	nan
1.0ms	1×	body	4096	nan

Compiler

Compiled 8918 to 6384 computations (28.4% saved)

series32.3s (28%)

Calls

127 calls:

2.3s	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
2.3s	(-.f64 (+.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x) (tan.f64 a))
1.9s	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a)))
1.6s	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
1.5s	(+.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x)

Compiler

Compiled 39081 to 27503 computations (29.6% saved)

analyze22.6s (19.5%)

Algorithm

13×

Search

True	Other	False	Iter
0%	76.9%	23.1%	0
0%	76.9%	23.1%	1
0%	76.9%	23.1%	2
25%	51.9%	23.1%	3
34.6%	42.3%	23.1%	4
39.9%	37%	23.1%	5
42.3%	33.9%	23.8%	6
45.6%	30.4%	24%	7
47.2%	28.4%	24.4%	8
49%	26.5%	24.5%	9
50.8%	24.3%	24.9%	10
51.4%	23.5%	25.1%	11
52.1%	22.5%	25.4%	12
52.8%	21.6%	25.6%	13
53%	21%	25.9%	14

Compiler

Compiled 163 to 136 computations (16.6% saved)

regimes9.8s (8.5%)

Accuracy

Total 4.7b remaining (5.7%)

Threshold costs 3.3b (4%)

1.4b	89.6%	expfmod
0.4b	0%	mixedcos
0.4b	0%	sqrt C
0.4b	0%	sqrt D
0.4b	0%	sqrt E

Compiler

Compiled 61680 to 49998 computations (18.9% saved)

simplify6.0s (5.2%)

Algorithm

88×	egg-herbie

prune5.0s (4.3%)

Compiler: Compiled 96916 to 34643 computations (64.3% saved)

bsearch1.6s (1.4%)

Compiler: Compiled 1230 to 991 computations (19.4% saved)

rewrite1.2s (1%)

Algorithm

49×	rewrite-expression-head

Rules

366×	`add-sqr-sqrt_binary64_782`
345×	`times-frac_binary64_766`
313×	`cbrt-prod_binary64_791`
288×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
267×	`add-exp-log_binary64_457`
252×	`add-cbrt-cube_binary64_455`
228×	`add-sqr-sqrt_binary64_441`
198×	`unpow-prod-down_binary64_839`
181×	`*-un-lft-identity_binary64_419`
171×	`add-cube-cbrt_binary64_454`
163×	`pow1_binary64_480`
145×	`add-sqr-sqrt_binary64`
129×	`*-un-lft-identity_binary64`
128×	`sqrt-prod_binary64_94` `add-sqr-sqrt_binary64_100`
125×	`times-frac_binary64_425`
118×	`add-exp-log_binary64`
116×	`associate-r_binary64_18`
106×	`associate-r_binary64_359` `prod-exp_binary64_468` `log-prod_binary64_846`
104×	`cbrt-unprod_binary64_452`
103×	`add-exp-log_binary64_116`
102×	`add-sqr-sqrt_binary64_1123`
100×	`exp-sum_binary64_806`
95×	`pow1_binary64`
92×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64`
84×	`add-cbrt-cube_binary64`
79×	`pow1_binary64_139`
76×	`associate-l_binary64`
72×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
70×	`add-cbrt-cube_binary64_114`
66×	`pow-prod-down_binary64_490`
64×	`sqr-pow_binary64_732`
59×	`associate-l_binary64_360`
54×	`associate-l_binary64_19` `add-log-exp_binary64_458`
53×	`prod-exp_binary64_127` `pow1_binary64_821`
52×	`add-log-exp_binary64`
51×	`prod-exp_binary64`
50×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709` `cbrt-prod_binary64_1132`
48×	`associate-r_binary64`
46×	`add-cube-cbrt_binary64_1136`
43×	`add-exp-log_binary64_798`
40×	`div-exp_binary64_470` `times-frac_binary64_1107`
39×	`cbrt-unprod_binary64`
38×	`pow-prod-down_binary64`
37×	`cbrt-undiv_binary64_453` `add-cbrt-cube_binary64_796`
36×	`sqrt-prod_binary64_776` `associate-/r*_binary64_363`
35×	`cbrt-unprod_binary64_111` `associate-r_binary64_700` `tan-quot_binary64`
33×	`add-log-exp_binary64_799` `pow-prod-down_binary64_149`
32×	`unpow-prod-down_binary64_157` `associate-/l*_binary64_364` `sqrt-prod_binary64`
31×	`associate-l_binary64_701`
30×	`unswap-sqr_binary64_46` `associate-*l/_binary64`
29×	`associate-/r/_binary64_365`
28×	`unswap-sqr_binary64_728` `sin-mult_binary64_574` `swap-sqr_binary64_727` `times-frac_binary64` `cbrt-prod_binary64`
24×	`cube-prod_binary64_788` `pow-unpow_binary64_837` `log-pow_binary64_849` `unswap-sqr_binary64`
23×	`unswap-sqr_binary64_387` `cos-mult_binary64_573`
22×	`distribute-lft-out--_binary64_1053`
21×	`*-commutative_binary64_350`
20×	`difference-of-squares_binary64_1070` `exp-prod_binary64_812` `pow1_binary64_1162`
19×	`add-log-exp_binary64_117`
17×	`div-inv_binary64_416` `frac-sub_binary64`
16×	`-commutative_binary64_9` `unpow-prod-down_binary64` `cancel-sign-sub-inv_binary64` `swap-sqr_binary64_1068` `-commutative_binary64`
15×	`div-inv_binary64_757`
14×	`associate-/l/_binary64` `flip3--_binary64` `associate-l_binary64_1042` `distribute-lft-out_binary64` `cbrt-prod_binary64_450` `flip--_binary64` `associate-r_binary64_1041` `pow1/3_binary64_1183` `cbrt-prod_binary64_109` `add-exp-log_binary64_1139`
13×	`clear-num_binary64_418` `flip3--_binary64_423` `frac-2neg_binary64_430` `flip--_binary64_394` `pow1/3_binary64_842`
12×	`cbrt-div_binary64_1133`
11×	`pow-exp_binary64_828` `associate-/l*_binary64` `frac-sub_binary64_428` `pow-pow_binary64_832`
10×	`flip3-+_binary64` `associate-/l_binary64_1046` `associate-/l_binary64_705` `add-cbrt-cube_binary64_1137` `sub-div_binary64_426` `flip-+_binary64`
9×	`pow-to-exp_binary64_829` `cbrt-div_binary64_792` `flip3--_binary64_1105` `flip--_binary64_1076`
8×	`sqrt-pow1_binary64_96` `associate-/r*_binary64_1045` `associate-+r+_binary64` `unswap-sqr_binary64_1069`
7×	`associate-/r*_binary64` `unpow-prod-down_binary64_498` `diff-log_binary64` `sqr-pow_binary64_391` `cancel-sign-sub-inv_binary64_385`
6×	`pow-to-exp_binary64_147` `sub-neg_binary64` `associate-/r/_binary64` `add-log-exp_binary64_1140` `distribute-lft-out--_binary64` `sqr-pow_binary64_50` `frac-add_binary64` `pow-unpow_binary64_496` `sum-log_binary64` `sqrt-pow1_binary64` `pow-exp_binary64_146` `associate-/r*_binary64_704` `pow-exp_binary64_487`
5×	`sub-neg_binary64_412` `pow1/2_binary64_840` `difference-of-squares_binary64_388` `unpow2_binary64_484` `pow-plus_binary64_482` `distribute-lft-out--_binary64_371` `sqrt-pow1_binary64_778` `diff-log_binary64_511` `pow-prod-up_binary64_489`
4×	`pow-to-exp_binary64` `difference-of-squares_binary64` `pow-prod-up_binary64_1171` `unpow3_binary64_826` `pow-pow_binary64_491` `prod-exp_binary64_809` `cbrt-undiv_binary64` `associate-r/_binary64` `pow-exp_binary64` `associate-/l/_binary64_1048` `pow-sqr_binary64_1074` `cube-mult_binary64_790` `associate-r/_binary64_361` `frac-times_binary64_1111` `pow-prod-down_binary64_1172` `div-exp_binary64` `frac-times_binary64` `sqr-pow_binary64`
3×	`associate-*l/_binary64_703` `cos-2_binary64_561` `clear-num_binary64` `swap-sqr_binary64_386` `pow2_binary64_500` `cube-div_binary64_448` `rem-sqrt-square_binary64_773` `pow-to-exp_binary64_488` `frac-2neg_binary64` `div-inv_binary64` `+-commutative_binary64` `pow-sqr_binary64_392` `pow1/2_binary64_158` `div-sub_binary64_424`
2×	`cbrt-undiv_binary64_794` `cube-prod_binary64_447` `exp-to-pow_binary64_822` `associate-/r/_binary64_1047` `rem-cbrt-cube_binary64_784` `pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-undiv_binary64_1135` `cbrt-div_binary64_451` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `pow1/2_binary64` `associate-+r-_binary64` `pow2_binary64_1182` `cube-mult_binary64_449` `rem-exp-log_binary64_800` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `rem-cube-cbrt_binary64_783` `associate-r/_binary64_1043` `div-inv_binary64_1098` `cos-sum_binary64_553` `tan-sum_binary64` `frac-2neg_binary64_771` `sqrt-div_binary64_95` `rem-log-exp_binary64_801` `associate-l/_binary64_1044` `associate-r/_binary64_20` `cbrt-unprod_binary64_793` `div-exp_binary64_1152` `unpow3_binary64_485` `pow-prod-up_binary64_830` `clear-num_binary64_759` `rem-cube-cbrt_binary64_442` `pow-sqr_binary64_733` `pow-prod-down_binary64_831` `div-exp_binary64_811` `sqrt-pow2_binary64_779` `*-commutative_binary64_691` `div-sub_binary64_1106`
1×	`exp-neg_binary64_807` `pow1/3_binary64_501` `pow2_binary64_841` `flip-+_binary64_52` `exp-diff_binary64_808` `pow-plus_binary64_823` `sqr-abs_binary64_434` `associate-/l/_binary64_366` `neg-sub0_binary64_755` `rem-cbrt-cube_binary64_443` `frac-times_binary64_770` `div-sub_binary64` `associate-*r/_binary64_702` `associate--l+_binary64` `flip3-+_binary64_81`

Calls

254 calls:

30.0ms	(*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
18.0ms	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (.f64 (-.f64 1 (.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a)))
18.0ms	(-.f64 (+.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x) (tan.f64 a))
16.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)))))
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))

Details

sample36.5s (31.6%)

series32.3s (28%)

analyze22.6s (19.5%)

regimes9.8s (8.5%)

simplify6.0s (5.2%)

prune5.0s (4.3%)

bsearch1.6s (1.4%)

rewrite1.2s (1%)

localize464.0ms (0.4%)

end0.0ms (0%)

Profiling