Date:	Thursday, July 23rd, 2020
Commit:	528fe40a on cleanup
Hostname:	warfa with Racket 7.5
Seed:	2020205
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

Algorithm

18×

intervals

Results

Algorithm

46×	egg-herbie

Algorithm

9×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
11.1%	88.8%	0.1%	1
11.1%	83.3%	5.6%	2
19.4%	69.4%	11.2%	3
31.9%	51.3%	16.8%	4
35.4%	45.1%	19.5%	5
45.1%	34%	20.9%	6
50.7%	26.4%	23%	7
53.3%	23.4%	23.3%	8
57.6%	18.3%	24.1%	9
59.6%	15.1%	25.4%	10
61.3%	12.9%	25.8%	11
63.2%	10%	26.8%	12
64.2%	8.2%	27.6%	13
64.9%	6.9%	28.2%	14

Accuracy

Total 4.3b remaining (23.4%)

Threshold costs 0.5b (2.6%)

Calls

74 calls:

Algorithm

28×	rewrite-expression-head

Rules

708×	`*-un-lft-identity`
567×	`add-sqr-sqrt`
380×	`times-frac`
338×	`add-cube-cbrt`
239×	`cbrt-prod`
155×	`add-exp-log`
146×	`pow1`
138×	`add-cbrt-cube`
115×	`add-log-exp`
91×	`distribute-lft-out`
86×	`sqrt-prod`
83×	`associate-l` `exp-prod`
81×	`distribute-lft-out--`
79×	`difference-of-squares`
62×	`associate-r`
51×	`swap-sqr`
50×	`flip--` `flip3--`
48×	`sqrt-div`
42×	`associate-/r*`
41×	`log-pow`
33×	`associate-/l*`
30×	`prod-exp` `cbrt-unprod`
26×	`log-prod` `sqrt-pow1`
25×	`pow1/2`
24×	`associate-/r/`
23×	`div-inv`
22×	`unswap-sqr`
21×	`rem-sqrt-square` `pow-prod-down`
19×	`div-exp` `cbrt-undiv` `cbrt-div`
16×	`sub-neg` `pow1/3` `diff-log`
14×	`exp-sum` `associate-/l/`
12×	`unpow-prod-down`
11×	`associate-*l/`
10×	`associate-*r/` `clear-num` `flip-+` `flip3-+` `frac-2neg` `rem-exp-log`
9×	`pow-unpow`
8×	`cube-prod` `*-commutative`
6×	`log-div` `pow-pow`
4×	`rem-log-exp` `exp-diff`
3×	`associate--l-` `neg-sub0` `distribute-rgt-neg-in` `neg-log` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `frac-sub` `sub-div` `cube-mult` `frac-times` `pow-sqr` `pow-prod-up` `unpow3`
1×	`pow2` `unpow-prod-up` `sum-log` `pow-plus` `exp-to-pow` `sqrt-unprod` `rem-cbrt-cube` `pow-sub` `rem-cube-cbrt`

Calls

74 calls:

29.0ms	(* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))
19.0ms	(/ (+ f n) (- n f))
15.0ms	(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
12.0ms	(- (neg b) (exp (log (sqrt (- (* b b) (* (* 4.0 a) c))))))
12.0ms	(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

Profiling