Details

sample82.0ms

Algorithm

intervals

Results

62.0ms

265×

body

valid

simplify212.0ms

Calls

1 calls:

Slowest

212.0ms

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.3b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.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

55.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
18.0ms	(* (+ (* (+ y a) y) b) y)
16.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
10.0ms	(* (+ (* x y) z) y)

series380.0ms

Calls

4 calls:

Slowest

286.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
35.0ms	(* (+ (* x y) z) y)
33.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
26.0ms	(* (+ (* (+ y a) y) b) y)

simplify11.7s

Calls

53 calls:

Slowest

702.0ms	(/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
587.0ms	(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
503.0ms	(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
434.0ms	(/ (sqrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) 1)
425.0ms	(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)

prune1.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 28.7b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite250.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

233.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
6.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
6.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
6.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))

series1.0s

Calls

4 calls:

Slowest

424.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
236.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
204.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
176.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))

simplify12.9s

Calls

50 calls:

Slowest

528.0ms	(/ (* (* (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t)) (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 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)))
510.0ms	(+ (pow (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) 3) (pow t 3))
477.0ms	(cbrt (* (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* 27464.7644705 27464.7644705)) y))
456.0ms	(cbrt (* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y))
451.0ms	(cbrt (* (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* 27464.7644705 27464.7644705)) y))

prune2.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 28.6b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite120.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

62.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
26.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
21.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
9.0ms	(* (+ (* (+ y a) y) b) y)

series944.0ms

Calls

4 calls:

Slowest

463.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
415.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
46.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
20.0ms	(* (+ (* (+ y a) y) b) y)

simplify15.5s

Calls

66 calls:

Slowest

661.0ms	(+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))
621.0ms	(- (log (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (log (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
488.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)))
480.0ms	(- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i))
470.0ms	(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)

prune1.9s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 28.6b

localize11.0ms

Local error

Found 4 expressions with local error:

28.8b	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.5b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.4b	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

rewrite157.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

58.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
41.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
34.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
22.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series551.0ms

Calls

4 calls:

Slowest

370.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
90.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
47.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
45.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify35.8s

Calls

116 calls:

Slowest

806.0ms	(/ 1 (sqrt (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
742.0ms	(/ (/ 1 (- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i))) 1)
701.0ms	(/ 1 (/ 1 (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))))
671.0ms	(/ (/ 1 (- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i))) 1)
646.0ms	(/ (/ 1 (+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))) 1)

prune3.1s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 28.6b

regimes1.9s

Accuracy

0% (0.8b remaining)

Error of 28.5b against oracle of 27.7b and baseline of 28.5b

bsearch13.0ms

end0.0ms

sample3.1s

Algorithm

intervals

Results

2.6s

8221×

body

valid