Date:Sunday, June 28th, 2020
Commit:ddc1d8f4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020180
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

analyze39.5s (49.4%)

Algorithm
24×search
Search
TrueOtherFalseIter
0%75%25%0
0%75%25%1
0%75%25%2
22.9%52.1%25%3
33.3%41.6%25%4
39%35.9%25%5
41.6%32.5%25.8%6
45.3%28.8%26%7
47%26.6%26.4%8
48.9%24.6%26.5%9
50.9%22.1%26.9%10
51.5%21.3%27.2%11
52.3%20.2%27.5%12
53.1%19.2%27.7%13
53.3%18.6%28.1%14

sample22.6s (28.2%)

Algorithm
24×intervals
Results
6.2s4876×body5120exit
5.0s10812×body1280valid
2.9s77886×body80valid
1.8s6512×body640valid
1.1s2517×body1280nan
919.0ms2693×body320valid
802.0ms24768×pre80true
552.0ms2072×body640nan
320.0ms2037×body80invalid
178.0ms1040×body320nan
173.0ms1169×body160valid
80.0ms255×body640invalid
67.0ms140×body1280invalid
47.0ms204×body320invalid
31.0ms311×body160nan
18.0ms115×body160invalid
10.0ms245×body80nan
9.0ms143×body80overflowed
6.0ms3×body5120nan
2.0ms2×body2560nan

simplify4.7s (5.9%)

Algorithm
66×egg-herbie

prune4.7s (5.9%)

Filtered
3156 candidates to 2014 candidates (36.2%)

series4.0s (5.0%)

Calls

109 calls:

180.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
134.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)))
130.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan 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.1s (3.8%)

Accuracy

Total 3.2b remaining (9%)

Threshold costs 3.2b (9%)

0.6b0%exp-w crasher
0.5b0%mixedcos
0.3b0%sqrt C
0.3b0%rsin B
0.3b0%rsin A

rewrite871.0ms (1.1%)

Algorithm
42×rewrite-expression-head
Calls

109 calls:

28.0ms
(* (sqrt (exp (neg w))) (* (* (sqrt (pow l (exp w))) (sqrt (pow l (exp w)))) (sqrt (exp (neg w)))))
21.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)))
14.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
14.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
14.0ms
(* (sqrt (exp (neg w))) (* (pow l (exp w)) (sqrt (exp (neg w)))))
Rules
1080×add-exp-log
787×add-sqr-sqrt
613×prod-exp
517×*-un-lft-identity
460×add-cube-cbrt
412×add-cbrt-cube
403×associate-*r*
353×sqrt-prod
272×pow1
229×associate-*l*
227×times-frac
188×unpow-prod-down
182×pow-exp
167×unswap-sqr
156×cbrt-unprod
150×add-log-exp
125×div-exp
117×pow-to-exp
97×sqr-pow
86×pow-prod-down
58×*-commutative
56×cbrt-prod
54×associate-/l*
42×associate-/r/
39×cbrt-undiv pow-unpow
36×associate-/r*
33×associate-*r/
30×sqrt-div
29×sin-mult
28×tan-quot
27×sqrt-pow1
24×div-inv
22×cos-mult
21×flip-- flip3--
20×distribute-lft-out--
18×pow1/2
17×frac-sub difference-of-squares
16×exp-diff
15×neg-sub0 exp-neg exp-prod pow-pow
14×cube-div log-prod clear-num frac-2neg
13×frac-times
12×diff-log swap-sqr
11×sum-log sub-neg associate-*l/ distribute-lft-out
9×cbrt-div sub-div
7×associate--r+
6×flip-+ flip3-+ cube-prod cube-mult unpow3 rem-cube-cbrt
5×+-commutative associate-+r- sqrt-unprod
4×associate-+r+
3×rem-log-exp distribute-lft-neg-in distribute-rgt-neg-in pow1/3 1-exp associate-/l/ rec-exp pow-sqr pow-prod-up rem-cbrt-cube rem-exp-log
2×tan-sum cos-sum
1×pow2 exp-sum frac-add rem-sqrt-square neg-mul-1 rem-square-sqrt pow-plus inv-pow div-sub log-pow un-div-inv pow-flip

localize438.0ms (0.5%)

bsearch88.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...