Date:	Tuesday, August 18th, 2020
Commit:	e43305aa on cleanup
Hostname:	warfa with Racket 7.5
Seed:	2020231
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

prune4.6min (57%)

Compiler: Compiled 708264 to 430746 computations (39.2% saved)

sample1.5min (18.4%)

Algorithm

54×

intervals

Results

15.7s	26628×	body	1280	valid
9.9s	120191×	body	80	valid
7.8s	18485×	body	640	valid
6.0s	6695×	body	2560	valid
3.6s	761×	body	5120	invalid
3.2s	1309×	body	2560	invalid
3.2s	36633×	body	80	nan
2.7s	8901×	body	320	valid
2.1s	3717×	body	1280	nan
2.0s	2603×	body	5120	valid
1.9s	3627×	body	1280	invalid
1.7s	8433×	body	160	valid
1.4s	15055×	body	80	invalid
1.3s	3163×	body	640	nan
1.0s	3062×	body	640	invalid
505.0ms	1670×	body	320	nan
441.0ms	1715×	body	320	invalid
405.0ms	655×	body	5120	exit
163.0ms	879×	body	160	invalid
85.0ms	468×	body	160	nan
9.0ms	72×	body	80	overflowed
4.0ms	256×	pre	80	true

Compiler

Compiled 9250 to 7206 computations (22.1% saved)

simplify48.5s (10%)

Algorithm

160×	egg-herbie

analyze33.0s (6.8%)

Algorithm

31×

Search

True	Other	False	Iter
0%	98.2%	1.8%	0
3.2%	95%	1.8%	1
5.6%	91%	3.4%	2
8%	84.5%	7.4%	3
9.8%	80.7%	9.5%	4
13.5%	76.9%	9.7%	5
16%	72.8%	11.2%	6
18.1%	68.2%	13.7%	7
21.2%	62.6%	16.2%	8
24.7%	57%	18.2%	9
26.4%	53.6%	20%	10
28.9%	49.8%	21.3%	11
30.2%	47.2%	22.5%	12
31.9%	42.5%	25.7%	13
32.9%	40.8%	26.3%	14

Compiler

Compiled 743 to 602 computations (19% saved)

series16.2s (3.3%)

Calls

395 calls:

759.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
747.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))
656.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))))
652.0ms	(+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (.f64 (+.f64 9 (.f64 a (-.f64 a 3))) (+.f64 a 1))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (.f64 a (.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (.f64 a (-.f64 a 3))))) (.f64 (+.f64 (pow.f64 a 3) 27) (.f64 (*.f64 b b) (+.f64 a 1)))))))
413.0ms	(/.f64 (+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (.f64 (+.f64 9 (.f64 a (-.f64 a 3))) (+.f64 a 1))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (.f64 a (.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (.f64 a (-.f64 a 3))))) (.f64 (+.f64 (pow.f64 a 3) 27) (.f64 (.f64 b b) (+.f64 a 1))))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 (+.f64 9 (*.f64 a (-.f64 a 3))) (+.f64 a 1))))

rewrite10.2s (2.1%)

Algorithm

106×	rewrite-expression-head

Rules

42771×	`associate-*r/_binary64`
28402×	`frac-times_binary64`
25941×	`flip3-+_binary64` `flip-+_binary64`
20948×	`times-frac_binary64`
20438×	`frac-add_binary64`
11095×	`sqrt-prod_binary64`
10817×	`add-sqr-sqrt_binary64`
10382×	`*-un-lft-identity_binary64`
8547×	`associate-*l/_binary64`
8497×	`add-cube-cbrt_binary64`
5249×	`associate-/l/_binary64`
4290×	`add-exp-log_binary64`
4243×	`flip3--_binary64` `flip--_binary64`
2841×	`add-cbrt-cube_binary64`
2262×	`associate-r_binary64`
2002×	`prod-exp_binary64`
1806×	`difference-of-squares_binary64`
1318×	`pow1_binary64`
1210×	`cbrt-unprod_binary64`
1011×	`sqrt-div_binary64`
968×	`div-exp_binary64`
887×	`associate-/r/_binary64`
787×	`associate-/r*_binary64`
694×	`associate-l_binary64`
588×	`div-inv_binary64`
566×	`cbrt-undiv_binary64`
522×	`unpow-prod-down_binary64`
510×	`add-log-exp_binary64`
481×	`pow-prod-down_binary64`
438×	`cbrt-prod_binary64`
381×	`distribute-lft-out_binary64`
349×	`unswap-sqr_binary64`
324×	`associate-/l*_binary64`
265×	`distribute-lft-out--_binary64`
241×	`pow-exp_binary64`
194×	`sqr-pow_binary64`
166×	`pow-to-exp_binary64`
146×	`*-commutative_binary64`
142×	`sqrt-pow1_binary64`
116×	`pow-unpow_binary64`
101×	`cbrt-div_binary64`
99×	`unpow2_binary64`
98×	`pow1/2_binary64`
92×	`cube-prod_binary64`
90×	`tan-quot_binary64`
83×	`clear-num_binary64` `frac-2neg_binary64`
66×	`log-prod_binary64`
64×	`pow-prod-up_binary64`
61×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
57×	`rem-sqrt-square_binary64`
52×	`exp-prod_binary64`
51×	`sub-neg_binary64`
48×	`rec-exp_binary64` `1-exp_binary64` `sum-log_binary64`
44×	`pow1/3_binary64`
40×	`swap-sqr_binary64`
27×	`pow-pow_binary64` `+-commutative_binary64`
25×	`pow-sqr_binary64`
20×	`pow-plus_binary64`
18×	`associate-+r+_binary64`
17×	`pow-flip_binary64` `div-sub_binary64`
15×	`frac-sub_binary64`
14×	`diff-log_binary64`
12×	`unpow3_binary64` `cube-mult_binary64`
11×	`pow2_binary64`
9×	`sqrt-unprod_binary64` `associate-+l+_binary64` `inv-pow_binary64`
8×	`sinh-def_binary64` `rem-log-exp_binary64`
7×	`log-div_binary64`
6×	`log-pow_binary64` `cube-div_binary64` `distribute-rgt-out--_binary64` `un-div-inv_binary64`
4×	`sqrt-undiv_binary64` `difference-of-sqr-1_binary64` `rem-exp-log_binary64` `pow-sub_binary64` `associate--l+_binary64`
3×	`acos-asin_binary64` `cos-diff_binary64` `rem-square-sqrt_binary64` `cos-sum_binary64`
2×	`associate--r+_binary64` `exp-lft-sqr_binary64` `exp-to-pow_binary64` `exp-diff_binary64` `sinh-undef_binary64` `asin-acos_binary64` `sub-div_binary64`
1×	`pow3_binary64` `rem-cbrt-cube_binary64` `e-exp-1_binary64` `rem-cube-cbrt_binary64` `mul0-rgt_binary64`

Calls

395 calls:

499.0ms	(/.f64 (+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (.f64 (+.f64 9 (.f64 a (-.f64 a 3))) (+.f64 a 1))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (.f64 a (.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (.f64 a (-.f64 a 3))))) (.f64 (+.f64 (pow.f64 a 3) 27) (.f64 (.f64 b b) (+.f64 a 1))))))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 (+.f64 9 (*.f64 a (-.f64 a 3))) (+.f64 a 1))))
382.0ms	(.f64 (/.f64 1 (.f64 (.f64 PI.f64 t) (sqrt.f64 (-.f64 1 (.f64 v v))))) (/.f64 (sqrt.f64 (-.f64 1 (.f64 (.f64 v v) 5))) (/.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))) (/.f64 (sqrt.f64 (-.f64 1 (.f64 (.f64 v v) 5))) (sqrt.f64 (-.f64 1 (.f64 v v)))))))
173.0ms	(+.f64 (.f64 (+.f64 (pow.f64 (.f64 b b) 6) (.f64 (pow.f64 a 6) (pow.f64 (+.f64 (.f64 a a) (.f64 (.f64 b b) 2)) 3))) (.f64 (+.f64 9 (.f64 a (-.f64 a 3))) (+.f64 a 1))) (.f64 (+.f64 (pow.f64 b 8) (.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (.f64 (.f64 (.f64 b a) (.f64 b a)) 2)) (pow.f64 b 4)))) (.f64 4 (+.f64 (.f64 a (.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (.f64 a (-.f64 a 3))))) (.f64 (+.f64 (pow.f64 a 3) 27) (.f64 (*.f64 b b) (+.f64 a 1)))))))
160.0ms	(-.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))) (/.f64 (/.f64 1/2 (hypot.f64 1 x)) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))))
105.0ms	(/.f64 (/.f64 (sqrt.f64 (-.f64 1 (.f64 (.f64 v v) 5))) (.f64 (.f64 PI.f64 t) (sqrt.f64 (-.f64 1 (.f64 v v))))) (/.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v))))) (/.f64 (sqrt.f64 (-.f64 1 (.f64 (.f64 v v) 5))) (sqrt.f64 (-.f64 1 (*.f64 v v))))))

Details

prune4.6min (57%)

sample1.5min (18.4%)

simplify48.5s (10%)

analyze33.0s (6.8%)

series16.2s (3.3%)

rewrite10.2s (2.1%)

regimes7.9s (1.6%)

bsearch2.4s (0.5%)

localize1.8s (0.4%)

end1.0ms (0%)

Profiling