Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
Hostname:warfa with Racket 7.5
Seed:2020149
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.1s (44.3%)

Algorithm
22×intervals
Results
5.0s10827×body1280valid
2.7s72574×body80valid
1.9s6861×body640valid
812.0ms24768×pre80true
580.0ms2973×body320valid
192.0ms1362×body160valid

prune4.9s (15.3%)

Filtered
2903 candidates to 1864 candidates (35.8%)

simplify4.0s (12.4%)

Algorithm
60×egg-herbie

series3.7s (11.6%)

Calls

103 calls:

457.0ms
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
126.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
121.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))

regimes3.6s (11.4%)

Accuracy

Total 5.6b remaining (6.8%)

Threshold costs 2.2b (2.7%)

2.1b10.3%mixedcos
1.3b0%sqrt E
0.5b0%rsin A
0.4b0%rsin B
0.4b0%sqrt A

rewrite971.0ms (3.0%)

Algorithm
38×rewrite-expression-head
Calls

103 calls:

185.0ms
(* 2.0 (pow x 2.0))
31.0ms
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
19.0ms
(* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))))
18.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
18.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
Rules
1006×add-exp-log
719×add-sqr-sqrt
637×*-un-lft-identity
634×prod-exp
512×add-cube-cbrt
395×add-cbrt-cube
387×times-frac
279×associate-*r*
263×pow1 associate-*l*
181×sqrt-prod
152×cbrt-unprod
138×pow-exp pow-to-exp
129×add-log-exp
106×cbrt-prod
100×div-exp
82×unswap-sqr
79×unpow-prod-down
78×pow-prod-down
58×associate-/r*
54×*-commutative distribute-lft-out
49×associate-/l*
41×cbrt-undiv associate-/r/
35×tan-quot
33×swap-sqr div-inv
31×sqr-pow
25×distribute-rgt-out
22×difference-of-squares
21×associate-/l/
20×pow1/3
19×flip-- flip3-- frac-sub
18×distribute-lft-out--
17×sin-mult clear-num frac-2neg
15×cos-mult associate-*r/
12×associate-*l/
10×flip-+ flip3-+ sqrt-pow1 frac-times
8×sum-log
6×sub-neg sqrt-div sub-div pow1/2 diff-log associate-+r+
5×count-2 1-exp +-commutative rec-exp distribute-lft1-in distribute-rgt1-in
4×pow-prod-up pow-sqr
3×div-sub pow-plus rem-sqrt-square pow2 associate-+r- log-pow log-prod
2×pow-flip inv-pow tan-sum cos-sum frac-add
1×un-div-inv exp-prod exp-to-pow rem-log-exp

localize405.0ms (1.3%)

bsearch218.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...