Date:Tuesday, June 23rd, 2020
Commit:ce6c70f5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020175
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

analyze40.7s (49.0%)

Algorithm
24×search

sample22.1s (26.6%)

Algorithm
24×intervals
Results
6.2s4705×body5120exit
5.2s10680×body1280valid
3.0s77879×body80valid
1.9s6695×body640valid
1.1s2527×body1280nan
790.0ms24768×pre80true
561.0ms2015×body640nan
522.0ms2656×body320valid
176.0ms1004×body320nan
172.0ms2078×body80invalid
168.0ms1162×body160valid
77.0ms230×body640invalid
55.0ms121×body1280invalid
44.0ms190×body320invalid
34.0ms327×body160nan
20.0ms124×body160invalid
12.0ms212×body80nan
9.0ms144×body80overflowed
6.0ms3×body5120nan
1.0ms1×body2560nan

simplify6.2s (7.5%)

Algorithm
66×egg-herbie

prune5.4s (6.5%)

Filtered
3204 candidates to 2086 candidates (34.9%)

series4.2s (5.0%)

Calls

117 calls:

273.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
152.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
132.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
129.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes3.2s (3.8%)

Accuracy

Total 5.3b remaining (25%)

Threshold costs 2.8b (13.2%)

2.5b0%mixedcos
0.4b97.3%sqrt D
0.4b0%sqrt A
0.4b0%sqrt C
0.3b0%rsin A

rewrite855.0ms (1.0%)

Algorithm
42×rewrite-expression-head
Calls

117 calls:

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))
15.0ms
(* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) x)))
15.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
14.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
Rules
1025×add-exp-log
692×add-sqr-sqrt
640×prod-exp
566×*-un-lft-identity
493×add-cube-cbrt
393×add-cbrt-cube
284×unpow-prod-down
259×pow1
256×associate-*r*
247×sqrt-prod
242×associate-*l*
234×times-frac
210×pow-exp
163×pow-to-exp
158×add-log-exp
148×cbrt-unprod
96×cbrt-prod
91×div-exp
88×unswap-sqr
81×sqr-pow
70×pow-unpow pow-prod-down
57×associate-/r*
53×*-commutative
42×associate-/l*
41×distribute-lft-out
37×associate-/r/
36×cbrt-undiv sin-mult
35×distribute-rgt-out
30×cos-mult
26×tan-quot
25×frac-sub flip-- associate-*l/ flip3--
24×div-inv
18×distribute-lft-out--
17×difference-of-squares
16×clear-num frac-2neg
15×flip-+ flip3-+ sqrt-pow1 sub-div associate-/l/
12×sub-neg diff-log
11×pow-pow
10×sum-log pow1/3
8×pow1/2 sqrt-div
7×+-commutative associate-*r/ distribute-lft1-in count-2 distribute-rgt1-in
6×associate-+r+
5×rem-sqrt-square unpow2
4×cbrt-div associate-+r- div-sub
3×neg-sub0 exp-neg frac-add 1-exp swap-sqr frac-times rec-exp exp-prod exp-diff
2×tan-sum cos-sum
1×pow2 pow-plus inv-pow pow-sqr un-div-inv pow-prod-up pow-flip

localize474.0ms (0.6%)

bsearch46.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...