Date:Sunday, May 31st, 2020
Commit:d643102f on ival-performance
Hostname:warfa with Racket 7.5
Seed:2020152
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.3s (46.1%)

Algorithm
22×intervals
Results
4.8s10889×body1280valid
2.8s72836×body80valid
2.1s6742×body640valid
817.0ms24768×pre80true
575.0ms2865×body320valid
203.0ms1398×body160valid

prune4.6s (15.0%)

Filtered
1792 candidates to 3037 candidates (-69.5%)

series3.7s (11.8%)

Calls

107 calls:

134.0ms
(exp (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
124.0ms
(+ x (log (exp (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))))
119.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
119.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

simplify3.6s (11.5%)

Algorithm
60×egg-herbie

regimes3.2s (10.2%)

Accuracy

Total 6.0b remaining (90.3%)

Threshold costs 2.1b (31.6%)

2.6b0%mixedcos
1.3b0%sqrt E
0.4b0%sqrt D
0.4b0%sqrt A
0.4b0%sqrt C

rewrite1.2s (3.9%)

Algorithm
38×rewrite-expression-head
Calls

107 calls:

203.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))
187.0ms
(* 2.0 (pow x 2.0))
23.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* (pow c (/ 2.0 2)) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))))
18.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
18.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a))
Rules
2166×add-exp-log
1772×prod-exp
582×add-sqr-sqrt
438×*-un-lft-identity
435×pow-to-exp pow-exp
417×add-cbrt-cube
415×pow1
366×add-cube-cbrt
238×associate-*l*
220×associate-*r*
182×cbrt-unprod
173×sqrt-prod
170×sqrt-pow1
169×div-exp
155×pow-prod-down
148×add-log-exp
143×times-frac
90×unpow-prod-down
85×unswap-sqr
67×cbrt-prod
52×*-commutative
38×sqr-pow
35×associate-/r/
33×cbrt-undiv associate-/r* associate-/l*
31×pow1/2
30×distribute-lft-out
28×sin-mult
25×distribute-rgt-out
24×pow-prod-up
21×cos-mult difference-of-squares
20×distribute-lft-out--
19×flip-- flip3--
18×div-inv
16×log-prod tan-quot pow-sqr
14×frac-sub log-pow exp-prod
13×clear-num sub-neg swap-sqr frac-2neg
11×associate-+r+ pow1/3 diff-log
10×sum-log flip-+ flip3-+ sub-div
7×+-commutative associate-*r/
6×exp-sum sqrt-div
5×rem-sqrt-square distribute-lft1-in count-2 distribute-rgt1-in
4×pow2 associate-+r- pow-plus
3×rem-log-exp associate-/l/ exp-diff
2×log-div tan-sum cos-sum exp-to-pow associate-*l/ frac-times rem-exp-log
1×frac-add rem-square-sqrt sqrt-unprod div-sub

localize416.0ms (1.3%)

bsearch14.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...