Details

sample67.0ms

Algorithm

intervals

Results

48.0ms

263×

body

valid

simplify218.0ms

Calls

1 calls:

Slowest

218.0ms

(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.3b

localize96.0ms

Local error

Found 4 expressions with local error:

27.2b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac` `associate-l`
6×	`add-cbrt-cube` `associate-*l/` `add-exp-log`
5×	`flip3-+` `flip-+`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Calls

4 calls:

Slowest

69.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
25.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
12.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
5.0ms	(* (+ (* x y) z) y)

series423.0ms

Calls

4 calls:

Slowest

307.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
54.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
42.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
21.0ms	(* (+ (* x y) z) y)

simplify11.6s

Calls

53 calls:

Slowest

618.0ms	(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
569.0ms	(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
538.0ms	(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
503.0ms	(* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
451.0ms	(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)

prune2.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 26.6b

localize14.0ms

Local error

Found 4 expressions with local error:

27.3b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.6b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`associate-/r*` `times-frac`
9×	`add-exp-log`
6×	`add-cbrt-cube` `associate-l`
5×	`pow1` `flip3-+` `associate-/r/` `flip-+`
4×	`associate-*l/` `insert-posit16` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`rec-exp` `clear-num` `frac-2neg` `div-exp` `*-commutative` `associate-/l/`
1×	`cbrt-undiv` `pow-flip` `inv-pow`

Calls

4 calls:

Slowest

88.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
36.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
35.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
10.0ms	(* (+ (* x y) z) y)

series1.0s

Calls

4 calls:

Slowest

537.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
389.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
48.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
33.0ms	(* (+ (* x y) z) y)

simplify14.9s

Calls

66 calls:

Slowest

591.0ms	(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)
534.0ms	(+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))
525.0ms	(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
515.0ms	(- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i))
511.0ms	(/ (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

prune2.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 26.6b

localize10.0ms

Local error

Found 4 expressions with local error:

27.4b	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.6b	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log`
9×	`pow1` `associate-l`
8×	`add-sqr-sqrt` `-un-lft-identity` `associate-l/` `associate-/r/` `add-cube-cbrt`
7×	`flip3-+` `flip-+`
6×	`add-cbrt-cube` `associate-r`
5×	`rec-exp`
4×	`frac-times` `prod-exp` `insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`pow-prod-down` `associate-*r/` `un-div-inv` `div-inv` `pow-flip`
1×	`clear-num` `associate-/r*` `frac-2neg` `cbrt-unprod` `inv-pow`

Calls

4 calls:

Slowest

85.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
54.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
35.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
10.0ms	(* (+ (* x y) z) y)

series935.0ms

Calls

4 calls:

Slowest

470.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
393.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
45.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
27.0ms	(* (+ (* x y) z) y)

simplify12.1s

Calls

49 calls:

Slowest

722.0ms	(* (- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i)) 1)
690.0ms	(+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)
662.0ms	(* (+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3)) 1)
573.0ms	(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
536.0ms	(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)

prune1.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 26.6b

localize15.0ms

Local error

Found 4 expressions with local error:

27.2b	(/ (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
2.1b	(* (* y y) (+ (* x y) z))
0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.0b	(* (+ (* (+ y a) y) b) y)

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

47.0ms	(/ (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
37.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
18.0ms	(* (+ (* (+ y a) y) b) y)
12.0ms	(* (* y y) (+ (* x y) z))

series280.0ms

Calls

4 calls:

Slowest

185.0ms	(/ (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
49.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
25.0ms	(* (* y y) (+ (* x y) z))
20.0ms	(* (+ (* (+ y a) y) b) y)

simplify12.3s

Calls

59 calls:

Slowest

1.2s	(+ (pow (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) 3) (pow t 3))
741.0ms	(- (* (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y)) (* t t))
590.0ms	(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
535.0ms	(* (- (* (* (+ (* (+ y a) y) b) y) (* (+ (* (+ y a) y) b) y)) (* c c)) y)
504.0ms	(/ (* (* (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t) (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t)) (+ (* (+ (* (* y y) (+ (* x y) z)) 230661.510616) y) t)) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

prune1.7s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 26.6b

regimes1.5s

Accuracy

0% (1.0b remaining)

Error of 29.2b against oracle of 28.3b and baseline of 29.2b

bsearch14.0ms

end0.0ms

sample2.9s

Algorithm

intervals

Results

2.6s

8238×

body

valid