{"bit_width":64,"date":1469704528,"note":"tutorial","iterations":3,"flags":["rules:numerics","rules:arithmetic","rules:polynomials","rules:fractions","rules:exponents","rules:trigonometry","setup:simplify","reduce:regimes","reduce:taylor","reduce:simplify","reduce:avg-error","generate:rr","generate:taylor","generate:simplify","precision:double"],"seed":"#(1065894488 2199264003 1058398788 1110142813 3223388056 148167450)","points":256,"tests":[{"samplers":["default"],"bits":128,"start":38.610224882460564,"link":"0-Expandingasquare","pinf":0,"ninf":0,"vars":["x"],"input":"(- (sqr (+ x 1)) 1)","time":3619.885986328125,"target":false,"output":"(* (+ (+ x 1) 1) x)","end":0.01391748125036058,"name":"Expanding a square","status":"imp-start","end-est":0.01171875},{"samplers":["default","default","default"],"bits":128,"start":0.015523520779997616,"link":"1-Commuteandassociate","pinf":0,"ninf":0,"vars":["x","y","z"],"input":"(- (+ (+ x y) z) (+ x (+ y z)))","time":1967.35498046875,"target":false,"output":"0","end":0,"name":"Commute and associate","status":"ex-start","end-est":0},{"samplers":["default"],"bits":128,"start":29.871321642599963,"link":"2-Cancelliketerms","pinf":0,"ninf":0,"vars":["x"],"input":"(- (+ 1 x) x)","time":792.798828125,"target":false,"output":"1","end":0,"name":"Cancel like terms","status":"imp-start","end-est":0}],"commit":"1d8a5a266b020440095bcd8cb501c635b072ad95","branch":"1.0-beta"}