Date:Thursday, May 28th, 2020
Commit:213afc1a on master
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.7s (36.1%)

Algorithm
22×intervals
Results
4.7s10827×body1280valid
2.4s72574×body80valid
1.8s6861×body640valid
783.0ms24768×pre80true
581.0ms2973×body320valid
188.0ms1362×body160valid

prune13.0s (31.9%)

Filtered
2903 candidates to 1864 candidates (35.8%)

regimes4.0s (9.7%)

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

simplify3.8s (9.2%)

Algorithm
60×egg-herbie

series3.7s (9.2%)

Calls

103 calls:

459.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)))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan 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))

rewrite800.0ms (2.0%)

Algorithm
38×rewrite-expression-head
Calls

103 calls:

29.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)))
20.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
19.0ms
(* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))))
17.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
15.0ms
(* r (/ 1 (/ (- (* (cos b) (cos a)) (* (sin a) (sin b))) (sin b))))
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

localize403.0ms (1.0%)

bsearch394.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...