Date:Wednesday, June 3rd, 2020
Commit:ad17e535 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020155
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample14.5s (45.0%)

Algorithm
22×intervals
Results
4.9s10832×body1280valid
2.7s72889×body80valid
2.1s6812×body640valid
1.0s24768×pre80true
582.0ms2850×body320valid
211.0ms1384×body160valid

prune5.5s (17.2%)

Filtered
2896 candidates to 1846 candidates (36.3%)

series3.9s (12.0%)

Calls

99 calls:

157.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
132.0ms
(* (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))
130.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
128.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
124.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))

simplify3.4s (10.6%)

Algorithm
60×egg-herbie

regimes3.1s (9.6%)

Accuracy

Total 4.9b remaining (90.1%)

Threshold costs 2.4b (45.1%)

2.4b11.7%mixedcos
0.4b0%rsin B
0.4b0%sqrt C
0.4b0%sqrt A
0.3b0%sqrt D

rewrite1.2s (3.8%)

Algorithm
38×rewrite-expression-head
Calls

99 calls:

204.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))
192.0ms
(sqrt (* 2.0 (pow x 2.0)))
43.0ms
(* (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))
21.0ms
(* (* r (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
17.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
Rules
987×add-exp-log
632×prod-exp
593×add-sqr-sqrt
486×*-un-lft-identity
417×pow1
405×add-cbrt-cube
403×add-cube-cbrt
248×associate-*l* times-frac
178×cos-mult
174×cbrt-unprod
173×associate-*r*
157×sin-mult
149×pow-prod-down
146×pow-exp sqrt-prod
142×pow-to-exp
139×add-log-exp
123×frac-add
119×associate-*r/
118×unpow-prod-down
114×cbrt-prod
110×frac-times
84×div-exp
78×associate-*l/
62×unswap-sqr
55×sqr-pow
50×associate-/l*
48×associate-/r* associate-/r/ *-commutative
43×difference-of-squares
34×cbrt-undiv
30×pow-unpow
26×distribute-lft-out--
24×frac-sub
23×div-inv
22×distribute-lft-out
20×pow-pow
19×tan-quot pow-sqr pow-prod-up
18×flip-- flip3--
17×flip-+ flip3-+
16×pow1/3
15×clear-num sub-div frac-2neg
13×swap-sqr
12×cube-div diff-log
11×sub-neg sqrt-pow1
10×sum-log pow-plus distribute-rgt-out
9×pow1/2
8×rem-sqrt-square associate-+r+ rem-cube-cbrt
7×associate-/l/
6×pow2
5×difference-cubes associate-+r- exp-prod
4×+-commutative sqrt-div cube-prod cube-mult unpow3
3×rem-exp-log
2×distribute-rgt-in tan-sum cos-sum distribute-lft-in distribute-lft1-in count-2 distribute-rgt1-in
1×exp-sum sqrt-unprod div-sub exp-diff

localize427.0ms (1.3%)

bsearch156.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...