Date:Tuesday, July 21st, 2020
Commit:e15f1dc1 on master
Hostname:warfa with Racket 7.5
Seed:2020203
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

sample3.6min (28.7%)

Algorithm
539×intervals
Results
1.2min2098548×body80valid
25.8s289365×body80invalid
18.1s40699×body1280valid
11.9s41585×body640valid
6.2s89058×body80nan
4.3s22664×body320valid
4.2s5540×body2560valid
2.0s6665×body1280invalid
1.7s12049×body160valid
1.3s6584×body640invalid
530.0ms3767×body320invalid
213.0ms2202×body160invalid
191.0ms1079×body640nan
167.0ms820×body1280nan
92.0ms35×body5120valid
76.0ms600×body320nan
50.0ms833×body80overflowed
35.0ms393×body160nan

prune2.6min (20.6%)

Filtered
84519 candidates to 56732 candidates (32.9%)

analyze1.9min (14.8%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.7min (13.3%)

Accuracy

Total 219.4b remaining (40.1%)

Threshold costs 29.0b (5.3%)

16.4b-3.3%Linear.Matrix:det44 from linear-1.19.1.3
15.2b14.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.9b55.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b57%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.3b62.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

series1.2min (9.4%)

Calls

2675 calls:

4.4s
(/ (* x (pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
3.6s
(* (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))))
2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.1s
(pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)

simplify1.0min (8.0%)

Algorithm
1444×egg-herbie

rewrite23.9s (3.2%)

Algorithm
905×rewrite-expression-head
Calls

2675 calls:

189.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
64.0ms
(* (* (/ y (* (cbrt (- t a)) (cbrt (- t a)))) (* (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))) (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))))) (/ (cbrt (- z t)) (cbrt (cbrt (- t a)))))
54.0ms
(* (/ x (* (cbrt (- t z)) (cbrt (- t z)))) (/ (- y z) (cbrt (- t z))))
54.0ms
(* (/ (/ (- y z) (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (cbrt (- (+ t 1.0) z))) (- a x))
51.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
Rules
28504×*-un-lft-identity
27287×add-sqr-sqrt
25041×times-frac
18318×add-cube-cbrt
11781×add-exp-log
9325×add-cbrt-cube
8376×cbrt-div
7949×associate-*r/
7868×associate-*r*
7757×pow1
6741×cbrt-prod
6040×frac-times
4625×associate-*l*
4535×sqrt-prod
4038×frac-sub
3907×add-log-exp
3832×prod-exp
3343×cbrt-unprod
2992×flip-- flip3--
2843×tanh-def-b tanh-def-a tanh-def-c
2673×distribute-lft-out
2588×difference-of-squares
2559×distribute-lft-out--
2459×pow-prod-down
2273×div-exp
2246×associate-*l/
2079×associate-/r*
2078×flip-+ flip3-+
1832×associate-/r/
1804×associate-/l*
1612×cbrt-undiv
1597×sqrt-div
1575×unswap-sqr
1533×unpow-prod-down
1427×div-inv
1119×log-prod
1071×pow1/3
899×*-commutative
889×swap-sqr
832×distribute-rgt-in distribute-lft-in
769×sqrt-pow1
618×sub-neg
609×frac-add
496×cube-prod
459×sum-log
425×pow1/2
421×associate-/l/
420×clear-num frac-2neg
394×associate-+r+
361×pow-prod-up
309×+-commutative
277×pow-sqr
270×1-exp
263×rec-exp
246×log-pow
241×sqr-pow
240×associate--l+
225×exp-prod
224×diff-log
195×distribute-neg-frac
190×associate-+l+
177×pow-unpow
171×pow-exp
160×cube-div
137×pow-to-exp
115×pow-pow
109×pow-plus
105×rem-sqrt-square
103×pow2
91×div-sub
85×distribute-lft-neg-in distribute-rgt-neg-in
77×pow-flip
65×distribute-rgt-neg-out
63×log-div
59×inv-pow un-div-inv
55×rem-log-exp
54×cube-mult unpow3
50×distribute-rgt-out--
41×sqrt-unprod
40×exp-sum
37×associate-+r-
34×unpow2
32×rem-cube-cbrt
29×associate--r+
28×sinh-def
27×rem-square-sqrt
26×neg-mul-1 unsub-neg
21×distribute-rgt-out
20×associate-+l-
18×unpow-prod-up rem-cbrt-cube
17×sub-div
13×rem-exp-log
11×cosh-def
9×sum-cubes
8×distribute-rgt1-in pow-sub
7×sqrt-pow2 exp-diff
6×distribute-frac-neg
5×associate--l- distribute-lft1-in count-2 associate--r- sin-mult
4×diff-cos
3×cos-diff unpow1/3
2×neg-sub0 difference-cubes cosh-undef pow3 tan-quot cos-mult
1×acos-asin cos-sum sqrt-undiv exp-to-pow

localize10.1s (1.3%)

bsearch4.6s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...