Date:	Wednesday, July 22nd, 2020
Commit:	b1a42fe6 on reprify
Hostname:	warfa with Racket 7.5
Seed:	2020204
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:doubleprecision:fallback` default

Details

sample3.4min (45.2%)

Algorithm

183×

intervals

Results

1.3min	138693×	body	1280	valid
26.9s	88233×	body	640	valid
20.1s	23293×	body	2560	valid
16.9s	397282×	body	80	valid
11.6s	6969×	body	5120	exit
9.9s	54287×	body	320	valid
5.6s	48925×	body	160	valid
4.0s	167201×	pre	80	true
3.4s	7660×	body	1280	nan
1.7s	5429×	body	640	nan
941.0ms	5810×	body	80	overflowed
897.0ms	904×	body	1280	overflowed
826.0ms	14930×	body	80	nan
748.0ms	11284×	body	80	invalid
619.0ms	3148×	body	2560	nan
529.0ms	2619×	body	320	nan
457.0ms	589×	body	1280	invalid
450.0ms	926×	body	640	invalid
375.0ms	572×	body	640	overflowed
299.0ms	756×	body	5120	valid
195.0ms	609×	body	320	invalid
144.0ms	1144×	body	160	nan
130.0ms	319×	body	320	overflowed
117.0ms	172×	body	2560	overflowed
68.0ms	311×	body	160	invalid
34.0ms	140×	body	160	overflowed
2.0ms	1×	body	5120	nan
2.0ms	111×	pre	80	false
2.0ms	2×	body	2560	invalid

prune1.5min (20.3%)

Filtered: 32698 candidates to 21477 candidates (34.3%)

analyze1.1min (14.2%)

Algorithm

92×

Search

True	Other	False	Iter
0%	81.8%	18.2%	0
6.5%	75.2%	18.2%	1
10.4%	70.2%	19.3%	2
23.4%	54.4%	22.3%	3
30.1%	44.6%	25.3%	4
35.4%	37.8%	26.9%	5
38.4%	33.3%	28.3%	6
40.8%	29.7%	29.5%	7
42.3%	27.7%	30%	8
44.4%	25%	30.7%	9
45.3%	23.4%	31.3%	10
46.2%	22.1%	31.7%	11
47.2%	20.7%	32.2%	12
48%	19.5%	32.5%	13
48.4%	18.8%	32.8%	14

simplify34.9s (7.8%)

Algorithm

503×	egg-herbie

series20.4s (4.6%)

Calls

969 calls:

917.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1.0)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1.0) (+.f64 (.f64 1/6 (.f64 (pow.f64 eps 3) (pow.f64 b 3))) (.f64 b (+.f64 eps (.f64 b (.f64 1/2 (.f64 eps eps))))))))
250.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (.f64 (/.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (.f64 (cbrt.f64 (+.f64 lambda1 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2)))) (/.f64 (-.f64 (.f64 lambda1 lambda1) (.f64 lambda2 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
249.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (/.f64 (/.f64 (.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (-.f64 (.f64 lambda1 lambda1) (.f64 lambda2 lambda2))) (.f64 (cbrt.f64 (+.f64 lambda1 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2)))) (cbrt.f64 (+.f64 lambda1 lambda2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
228.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (/.f64 (.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (-.f64 (.f64 lambda1 lambda1) (.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
183.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)))

regimes19.3s (4.3%)

Accuracy

Total 80.6b remaining (23.4%)

Threshold costs 15.5b (4.5%)

7.6b	45.8%	Quadratic roots, narrow range
7.4b	46.5%	Cubic critical, narrow range
6.0b	10.8%	Cubic critical, medium range
6.0b	10.7%	Quadratic roots, medium range
5.8b	49.8%	Quotient of products

rewrite10.8s (2.4%)

Algorithm

321×	rewrite-expression-head

Calls

969 calls:

220.0ms	(/.f64 1 (/.f64 (/.f64 a (neg.f64 (.f64 4.0 a))) (/.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4.0 a) c))))) 2.0)))
107.0ms	(log.f64 (exp.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3))))
102.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3))
101.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3))
100.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3))

Rules

28323×	`times-frac_binary64`
18184×	`*-un-lft-identity_binary64`
15746×	`add-sqr-sqrt_binary64`
12567×	`add-cube-cbrt_binary64`
5822×	`add-exp-log_binary64`
3034×	`prod-exp_binary64`
2970×	`add-cbrt-cube_binary64`
2202×	`associate-/r*_binary64`
1949×	`pow1_binary64`
1947×	`distribute-lft-out_binary64`
1703×	`sqrt-prod_binary64`
1483×	`add-log-exp_binary64`
1444×	`associate-r_binary64`
1128×	`unpow-prod-down_binary64`
1089×	`cbrt-prod_binary64`
1076×	`difference-of-squares_binary64`
1061×	`div-inv_binary64`
1041×	`associate-/r/_binary64`
955×	`associate-l_binary64`
933×	`div-exp_binary64`
902×	`distribute-lft-out--_binary64`
884×	`distribute-rgt-neg-in_binary64`
869×	`distribute-lft-neg-in_binary64`
845×	`neg-mul-1_binary64`
754×	`cbrt-unprod_binary64`
746×	`flip--_binary64`
745×	`flip3--_binary64`
732×	`associate-/l*_binary64`
707×	`pow-exp_binary64`
669×	`pow-to-exp_binary64`
665×	`flip-+_binary64`
664×	`flip3-+_binary64`
654×	`cube-prod_binary64`
552×	`cbrt-undiv_binary64`
536×	`associate-*l/_binary64`
473×	`sqrt-div_binary64`
468×	`frac-times_binary64`
429×	`unswap-sqr_binary64`
383×	`associate-*r/_binary64`
356×	`pow-prod-down_binary64`
329×	`exp-prod_binary64`
326×	`cbrt-div_binary64`
324×	`sqr-pow_binary64`
292×	`frac-add_binary64`
289×	`log-prod_binary64`
273×	`log-pow_binary64`
242×	`sqrt-pow1_binary64`
228×	`pow-unpow_binary64`
224×	`swap-sqr_binary64`
217×	`*-commutative_binary64`
212×	`sub-neg_binary64`
194×	`clear-num_binary64` `frac-2neg_binary64`
176×	`pow1/2_binary64`
175×	`diff-log_binary64`
162×	`associate-/l/_binary64`
148×	`pow1/3_binary64`
98×	`sum-log_binary64`
88×	`pow-prod-up_binary64`
85×	`rem-sqrt-square_binary64`
80×	`pow-pow_binary64`
78×	`div-sub_binary64`
74×	`frac-sub_binary64`
73×	`log-div_binary64`
67×	`+-commutative_binary64`
61×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
54×	`unpow3_binary64` `cube-mult_binary64`
51×	`tan-quot_binary64`
50×	`pow-sqr_binary64`
48×	`sin-mult_binary64`
43×	`rem-log-exp_binary64`
38×	`cube-div_binary64`
35×	`1-exp_binary64`
33×	`neg-sub0_binary64`
30×	`cos-mult_binary64` `exp-diff_binary64` `associate--l+_binary64`
29×	`exp-sum_binary64`
27×	`rec-exp_binary64` `rem-cube-cbrt_binary64`
25×	`associate--r+_binary64` `unpow2_binary64` `pow-plus_binary64` `pow2_binary64`
23×	`associate-+r+_binary64`
18×	`sin-diff_binary64` `distribute-frac-neg_binary64`
17×	`rem-exp-log_binary64`
16×	`cos-diff_binary64`
15×	`sqrt-unprod_binary64` `associate--l-_binary64` `acos-asin_binary64`
13×	`exp-neg_binary64` `cos-sum_binary64` `sin-sum_binary64`
12×	`sinh-def_binary64` `sin-cos-mult_binary64` `sub-div_binary64`
11×	`associate-+r-_binary64` `tanh-def-a_binary64` `cosh-undef_binary64` `tanh-def-b_binary64` `tanh-def-c_binary64`
10×	`distribute-rgt-out_binary64`
9×	`rem-cbrt-cube_binary64` `distribute-neg-frac_binary64`
8×	`sinh-undef_binary64` `associate--r-_binary64`
6×	`difference-cubes_binary64` `unpow-prod-up_binary64` `neg-log_binary64` `rem-square-sqrt_binary64` `distribute-rgt-out--_binary64`
5×	`pow-flip_binary64` `inv-pow_binary64`
4×	`associate-+l+_binary64` `tan-sum_binary64` `pow-sub_binary64`
3×	`sqrt-undiv_binary64` `difference-of-sqr--1_binary64` `acos-neg_binary64` `exp-to-pow_binary64`
2×	`associate-+l-_binary64` `sqrt-pow2_binary64` `e-exp-1_binary64` `distribute-lft1-in_binary64` `asin-acos_binary64` `un-div-inv_binary64`
1×	`tanh-undef_binary64` `unpow1/3_binary64` `sum-cubes_binary64` `diff-sin_binary64` `diff-atan_binary64` `diff-cos_binary64`

Details

sample3.4min (45.2%)

prune1.5min (20.3%)

analyze1.1min (14.2%)

simplify34.9s (7.8%)

series20.4s (4.6%)

regimes19.3s (4.3%)

rewrite10.8s (2.4%)

localize4.4s (1.0%)

bsearch1.2s (0.3%)

end2.0ms (0.0%)

Profiling