Details

sample563.0ms

Algorithm

intervals

Results

245.0ms	456×	body	80	valid
29.0ms	16×	body	640	valid
14.0ms	11×	body	320	valid
6.0ms	3×	body	1280	valid
6.0ms	7×	body	160	valid

simplify835.0ms

Calls

1 calls:

Slowest

834.0ms

(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize151.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
6.8b	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
3.2b	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
2.0b	(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))

rewrite221.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-*r/`
16×	`associate-r` `associate-*l/`
12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
11×	`flip3--` `add-cbrt-cube` `add-exp-log` `flip--`
10×	`frac-add`
9×	`times-frac`
8×	`pow1`
6×	`add-log-exp`
4×	`frac-times` `associate-l` `insert-posit16`
3×	`prod-exp` `cbrt-unprod`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `*-commutative` `flip-+`
1×	`associate--l-` `cbrt-undiv` `+-commutative` `sum-log` `sub-neg` `div-sub` `div-exp` `associate-+l-` `div-inv`

Calls

4 calls:

Slowest

83.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
78.0ms	(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
33.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
23.0ms	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))

series391.0ms

Calls

4 calls:

Slowest

219.0ms	(+ (* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
72.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
55.0ms	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
45.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify19.2s

Calls

63 calls:

Slowest

1.7s	(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (+ (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (+ (* 3 3) (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)))) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (pow (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) (pow 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.1s	(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ 1 (* x1 x1))) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
997.0ms	(+ (* (* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1)) (* (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) (+ 1 (* x1 x1)))) (* (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
902.0ms	(+ (* (* (- (pow (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 3) (pow 6 3)) (* x1 x1)) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (+ (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (+ (* 6 6) (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
789.0ms	(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (/ (* (* (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize106.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
6.8b	(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.2b	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
2.0b	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite340.0ms

Algorithm

rewrite-expression-head

Rules

23×	`associate-*r/`
18×	`associate-r`
12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
11×	`flip3--` `add-cbrt-cube` `add-exp-log` `flip--`
10×	`frac-add`
9×	`times-frac`
8×	`pow1`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
4×	`frac-times` `associate-+l+` `associate-+r+` `insert-posit16`
3×	`prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-l` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `flip-+`
1×	`associate--l-` `cbrt-undiv` `+-commutative` `sum-log` `div-sub` `div-exp` `div-inv`

Calls

4 calls:

Slowest

123.0ms	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
116.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
53.0ms	(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
45.0ms	(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series386.0ms

Calls

4 calls:

Slowest

220.0ms	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
70.0ms	(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
65.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
31.0ms	(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify18.7s

Calls

76 calls:

Slowest

1.1s	(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (* (+ (* x1 x1) 1) (* (* x1 x1) (- (pow (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 3) (pow 6 3)))))
976.0ms	(+ (* (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (+ (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
933.0ms	(* (* (+ (* x1 x1) 1) (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* 3 3) (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
707.0ms	(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (+ (* x1 x1) 1) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
659.0ms	(* (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* 3 3) (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

prune2.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize34.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
5.7b	(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
3.8b	(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
3.2b	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)

rewrite504.0ms

Algorithm

rewrite-expression-head

Rules

324×	`cbrt-div`
283×	`associate-*r/`
244×	`associate-*l/`
220×	`frac-times`
215×	`flip3--` `flip--`
130×	`frac-add`
21×	`add-exp-log`
18×	`pow1`
16×	`associate-r`
15×	`add-cbrt-cube`
11×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
10×	`prod-exp` `cbrt-unprod`
9×	`times-frac` `pow-prod-down`
6×	`add-log-exp`
4×	`insert-posit16`
2×	`flip3-+` `associate-l` `associate-/r/` `*-commutative` `flip-+`
1×	`associate--l-` `cbrt-undiv` `+-commutative` `sum-log` `sub-neg` `div-sub` `div-exp` `associate-+l-` `div-inv`

Calls

4 calls:

Slowest

230.0ms	(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
117.0ms	(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
96.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
51.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

series397.0ms

Calls

4 calls:

Slowest

248.0ms	(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))
58.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
49.0ms	(* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1)))
41.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify1.8m

Calls

352 calls:

Slowest

1.1s	(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (/ (* (* (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))
897.0ms	(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
883.0ms	(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
869.0ms	(+ (* (* (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (+ 1 (* x1 x1))) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3))) (+ (- (* (* 3 x1) x1) x1) (* x2 2)))))
849.0ms	(+ (* (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)))) (* (cbrt (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6))) (* x1 x1))) (+ (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)) (* (* (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (+ (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (* 2 (* x1 (- (* (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 3 3)))) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))

prune6.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize36.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
6.8b	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
3.2b	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
3.2b	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

16×	`associate-r`
12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
9×	`times-frac`
8×	`pow1`
4×	`associate-l` `insert-posit16` `add-log-exp`
3×	`flip3--` `prod-exp` `cbrt-unprod` `flip--`
2×	`associate--l-` `sub-neg` `div-sub` `pow-prod-down` `associate-l/` `associate-/r/` `-commutative` `associate-+l-`
1×	`cbrt-undiv` `flip3-+` `div-exp` `associate-*r/` `flip-+` `div-inv`

Calls

4 calls:

Slowest

68.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
67.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
24.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))
21.0ms	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))

series160.0ms

Calls

4 calls:

Slowest

47.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
43.0ms	(- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3)
41.0ms	(* (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6) (* x1 x1))
29.0ms	(* (* (* 3 x1) x1) (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))

simplify7.0s

Calls

43 calls:

Slowest

598.0ms	(* (* (* (* (* 3 x1) x1) (* (* 3 x1) x1)) (* (* 3 x1) x1)) (/ (* (* (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (+ (- (* (* 3 x1) x1) x1) (* x2 2))) (* (* (+ 1 (* x1 x1)) (+ 1 (* x1 x1))) (+ 1 (* x1 x1)))))
456.0ms	(* (- (* (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))) (* 6 6)) (* x1 x1))
420.0ms	(- (+ (* 6 (pow x1 2)) (* 8 x2)) (* 4 x1))
399.0ms	(+ (* 1 1) (- (* (* x1 x1) (* x1 x1)) (* 1 (* x1 x1))))
288.0ms	(sqrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))

prune1.6s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.3b

regimes389.0ms

Accuracy

0% (0.3b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 0.7b

bsearch15.0ms

end0.0ms

sample5.6s

Algorithm

intervals

Results

4.4s	14018×	body	80	valid
470.0ms	404×	body	640	valid
283.0ms	194×	body	1280	valid
207.0ms	288×	body	320	valid
73.0ms	178×	body	160	valid