Date:Wednesday, June 3rd, 2020
Commit:75abde43 on ival-perf
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.7s (45.7%)

Algorithm
22×intervals
Results
5.1s10832×body1280valid
3.0s72889×body80valid
1.9s6812×body640valid
814.0ms24768×pre80true
597.0ms2850×body320valid
214.0ms1384×body160valid

prune5.4s (16.8%)

Filtered
1846 candidates to 2896 candidates (-56.9%)

series3.9s (12.1%)

Calls

99 calls:

160.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
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)))
125.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))))))
124.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))

simplify3.4s (10.6%)

Algorithm
60×egg-herbie

regimes3.0s (9.3%)

Accuracy

Total 4.9b remaining (90.1%)

Threshold costs 2.4b (45.2%)

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

rewrite1.2s (3.7%)

Algorithm
38×rewrite-expression-head
Calls

99 calls:

193.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))
39.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))))
20.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
17.0ms
(- (/ (+ (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

localize448.0ms (1.4%)

bsearch154.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...