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

sample8.6min (31.4%)

Algorithm
820×intervals
Results
1.9min2863450×body80valid
1.7min192659×body1280valid
56.2s13110×body5120exit
41.5s138960×body640valid
27.9s320089×body80invalid
25.2s30431×body2560valid
15.6s82231×body320valid
8.3s67767×body160valid
7.7s18526×body1280invalid
7.3s108403×body80nan
5.3s252626×pre80true
4.5s16418×body640invalid
2.9s7138×body1280nan
1.6s8562×body320invalid
1.6s5339×body640nan
826.0ms5875×body80overflowed
625.0ms834×body1280overflowed
576.0ms3033×body2560nan
565.0ms4640×body160invalid
554.0ms1318×body5120valid
521.0ms2776×body320nan
279.0ms495×body640overflowed
139.0ms1291×body160nan
112.0ms164×body2560overflowed
92.0ms268×body320overflowed
78.0ms45×body2560invalid
29.0ms116×body160overflowed
6.0ms3×body5120nan
2.0ms109×pre80false

analyze6.0min (22.0%)

Algorithm
820×search
Search
TrueOtherFalseIter
0%94.4%5.6%0
3.2%91.2%5.6%1
6.3%87.5%6.2%2
14.7%77.8%7.5%3
20%70.5%9.5%4
27.6%61.8%10.5%5
32.5%55.3%12.1%6
38.4%47.7%14%7
41.9%43.2%14.9%8
46%37.9%16.1%9
49.1%33.5%17.4%10
51.8%30.1%18.1%11
54%27.1%18.9%12
56.4%23.9%19.7%13
57.9%22.1%20.1%14

prune4.2min (15.4%)

Filtered
131622 candidates to 85885 candidates (34.7%)

bsearch2.5min (9.1%)

regimes2.2min (8.0%)

Accuracy

Total 352.8b remaining (34.4%)

Threshold costs 50.6b (4.9%)

18.1b14.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.1b-4.8%Linear.Matrix:det44 from linear-1.19.1.3
13.1b58.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b42.6%math.sqrt on complex, imaginary part, im greater than 0 branch
10.8b56.1%math.log/2 on complex, real part

simplify1.6min (5.7%)

Algorithm
2204×egg-herbie

series1.4min (5.1%)

Calls

4105 calls:

1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
643.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* b eps) (* (* b b) (+ (* b (* 1/6 (pow eps 3))) (* eps (* eps 1/2)))))))
427.0ms
(* (* i (+ i (+ alpha beta))) (exp (- (log (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ (log (- (* (+ alpha (+ beta (* i 2.0))) (+ alpha (+ beta (* i 2.0)))) 1.0)) (* 2 (log (+ alpha (+ beta (* i 2.0)))))))))
414.0ms
(- 1.0 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (- (* 1.0 1.0) (* 0.3275911 (* 0.3275911 (pow (fabs x) 2))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (pow (exp (fabs x)) (fabs x)))))

rewrite37.6s (2.3%)

Algorithm
1386×rewrite-expression-head
Calls

4105 calls:

1.0s
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
256.0ms
(* y (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
148.0ms
(/ (* (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp z)) (exp (+ 7.0 0.5)))
146.0ms
(/ (* (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp z)) (exp (+ 7.0 0.5)))
142.0ms
(/ (* (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp z)) (exp (+ 7.0 0.5)))
Rules
51927×*-un-lft-identity
45043×add-sqr-sqrt
44957×times-frac
30050×add-cube-cbrt
17356×add-exp-log
13349×add-cbrt-cube
11444×sqrt-prod
10780×cbrt-prod
10429×pow1
9597×associate-*r*
7687×associate-*r/
7376×cbrt-div
7122×distribute-lft-out
6353×frac-times
6218×add-log-exp
5699×associate-*l*
5558×prod-exp
5023×difference-of-squares
4881×unpow-prod-down
4525×distribute-lft-out--
4362×flip--
4361×flip3--
4266×frac-sub
4034×associate-/r*
4025×cbrt-unprod
3843×associate-/l*
3361×div-exp
3045×associate-*l/
3038×cube-prod
2974×flip-+
2973×flip3-+
2791×pow-prod-down
2784×associate-/r/
2671×tanh-def-b tanh-def-a tanh-def-c
2322×cbrt-undiv
2183×div-inv
2157×unswap-sqr
2144×sqrt-div
2052×frac-add
1743×log-prod
1237×pow1/3
1218×*-commutative
1002×distribute-rgt-in distribute-lft-in
998×sqrt-pow1
980×associate-/l/
976×sub-neg
923×swap-sqr
866×distribute-rgt-neg-in
855×sqr-pow
782×log-pow
769×clear-num frac-2neg
711×exp-prod
650×pow-exp
647×sum-log
597×distribute-lft-neg-in
581×pow1/2
509×diff-log
483×pow-to-exp
469×pow-unpow
398×+-commutative
390×pow-prod-up
388×1-exp
387×cos-mult
385×rec-exp
363×associate-+r+
295×pow-pow
287×pow-sqr
254×cube-mult
247×rem-sqrt-square
239×associate--l+
232×unpow3
218×cube-div
211×log-div
200×div-sub
187×exp-sum
185×associate-+l+
156×neg-mul-1
122×pow-plus
118×pow2
115×pow-flip
114×rem-log-exp
104×neg-sub0
94×inv-pow
90×tan-quot
87×un-div-inv
73×associate-+l-
69×exp-diff
63×rem-cube-cbrt
62×associate--r+
53×unpow2
50×distribute-rgt-neg-out
49×neg-log
48×associate--l- rem-exp-log
46×associate-+r-
41×distribute-rgt-out
40×sin-mult
37×sqrt-unprod
35×difference-of-sqr-1
33×rem-cbrt-cube distribute-rgt-out--
32×pow-sub
29×unpow-prod-up
27×sub-div
26×pow-neg
25×sinh-def
24×unsub-neg
22×distribute-neg-frac
21×cos-diff
20×sum-cubes
19×exp-neg rem-square-sqrt associate--r-
17×distribute-neg-in cosh-def sin-diff
16×distribute-frac-neg
14×cos-sum
12×distribute-rgt1-in
11×diff-cos
10×acos-asin distribute-lft1-in sin-cos-mult sin-sum
9×count-2
8×unpow1/3 pow3
7×asin-acos
6×sqrt-pow2
5×difference-cubes
4×cube-neg e-exp-1 tan-sum
3×acos-neg sqrt-undiv exp-to-pow
1×tanh-undef diff-sin diff-atan remove-double-div

localize16.4s (1.0%)

end16.0ms (0.0%)

Profiling

Loading profile data...