Details

sample405.0ms

Algorithm

intervals

Results

107.0ms	256×	pre	80	true
103.0ms	44×	body	1280	valid
77.0ms	40×	body	640	valid
35.0ms	141×	body	80	valid
16.0ms	21×	body	320	valid
7.0ms	10×	body	160	valid

simplify102.0ms

Calls

1 calls:

Slowest

101.0ms

(/ (* e (sin v)) (+ 1 (* e (cos v))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 3 expressions with local error:

0.1b	(* e (sin v))
0.1b	(* e (cos v))
0.0b	(/ (* e (sin v)) (+ 1 (* e (cos v))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

10.0ms	(/ (* e (sin v)) (+ 1 (* e (cos v))))
5.0ms	(* e (sin v))
3.0ms	(* e (cos v))

series451.0ms

Calls

3 calls:

Slowest

304.0ms	(/ (* e (sin v)) (+ 1 (* e (cos v))))
97.0ms	(* e (sin v))
49.0ms	(* e (cos v))

simplify1.6s

Calls

28 calls:

Slowest

363.0ms	(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
270.0ms	(/ (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))))
249.0ms	(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
186.0ms	(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
169.0ms	(+ (* 1 1) (- (* (* e (cos v)) (* e (cos v))) (* 1 (* e (cos v)))))

prune521.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 3 expressions with local error:

0.1b	(* e (/ (sin v) (+ 1 (* e (cos v)))))
0.1b	(* e (cos v))
0.0b	(/ (sin v) (+ 1 (* e (cos v))))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

4.0ms	(/ (sin v) (+ 1 (* e (cos v))))
2.0ms	(* e (/ (sin v) (+ 1 (* e (cos v)))))
1.0ms	(* e (cos v))

series203.0ms

Calls

3 calls:

Slowest

96.0ms	(* e (/ (sin v) (+ 1 (* e (cos v)))))
64.0ms	(/ (sin v) (+ 1 (* e (cos v))))
43.0ms	(* e (cos v))

simplify3.1s

Calls

55 calls:

Slowest

414.0ms	(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
410.0ms	(/ (* (* (sin v) (sin v)) (sin v)) (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))))
275.0ms	(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))
266.0ms	(+ (* 1 1) (- (* (* e (cos v)) (* e (cos v))) (* 1 (* e (cos v)))))
243.0ms	(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))

prune704.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ e (/ (+ 1 (* e (cos v))) (sin v)))
0.1b	(/ (+ 1 (* e (cos v))) (sin v))
0.1b	(* e (cos v))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

15.0ms	(/ (+ 1 (* e (cos v))) (sin v))
3.0ms	(* e (cos v))
2.0ms	(/ e (/ (+ 1 (* e (cos v))) (sin v)))

series318.0ms

Calls

3 calls:

Slowest

125.0ms	(/ (+ 1 (* e (cos v))) (sin v))
122.0ms	(/ e (/ (+ 1 (* e (cos v))) (sin v)))
70.0ms	(* e (cos v))

simplify2.7s

Calls

53 calls:

Slowest

788.0ms	(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
472.0ms	(/ (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))) (* (* (sin v) (sin v)) (sin v)))
193.0ms	(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
184.0ms	(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
81.0ms	(- (* 1 1) (* (* e (cos v)) (* e (cos v))))

prune788.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
0.6b	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
0.6b	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
0.5b	(* (cbrt (/ (sin v) (+ 1 (* e (cos v))))) (cbrt (/ (sin v) (+ 1 (* e (cos v))))))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

75×	`cbrt-prod`
45×	`times-frac`
41×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`associate-r` `associate-l`
10×	`associate-/r/`
9×	`pow1`
7×	`cbrt-div` `pow1/3`
6×	`add-exp-log`
5×	`flip3-+` `flip-+` `div-inv`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-l/` `prod-exp` `associate-r/` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

7.0ms	(* (cbrt (/ (sin v) (+ 1 (* e (cos v))))) (cbrt (/ (sin v) (+ 1 (* e (cos v))))))
1.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
1.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
1.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))

series522.0ms

Calls

4 calls:

Slowest

149.0ms	(* (cbrt (/ (sin v) (+ 1 (* e (cos v))))) (cbrt (/ (sin v) (+ 1 (* e (cos v))))))
146.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
120.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))
107.0ms	(cbrt (/ (sin v) (+ 1 (* e (cos v)))))

simplify5.6s

Calls

108 calls:

Slowest

272.0ms	(- (+ (* 5/9 (/ (exp (* 1/3 (+ (* 2 (log (/ -1 e))) (log (/ (pow (sin v) 2) (pow (cos v) 2)))))) (* (pow e 2) (pow (cos v) 2)))) (exp (* 1/3 (+ (* 2 (log (/ -1 e))) (log (/ (pow (sin v) 2) (pow (cos v) 2))))))) (* 2/3 (/ (exp (* 1/3 (+ (* 2 (log (/ -1 e))) (log (/ (pow (sin v) 2) (pow (cos v) 2)))))) (* e (cos v)))))
246.0ms	(cbrt (+ (* 1 1) (- (* (* e (cos v)) (* e (cos v))) (* 1 (* e (cos v))))))
221.0ms	(- (+ (* 5/9 (/ (exp (* 1/3 (+ (log (/ (pow (sin v) 2) (pow (cos v) 2))) (* 2 (log (/ 1 e)))))) (* (pow e 2) (pow (cos v) 2)))) (exp (* 1/3 (+ (log (/ (pow (sin v) 2) (pow (cos v) 2))) (* 2 (log (/ 1 e))))))) (* 2/3 (/ (exp (* 1/3 (+ (log (/ (pow (sin v) 2) (pow (cos v) 2))) (* 2 (log (/ 1 e)))))) (* e (cos v)))))
203.0ms	(- (+ (exp (* 1/3 (+ (log (/ -1 e)) (log (* -1 (/ (sin v) (cos v))))))) (* 2/9 (/ (exp (* 1/3 (+ (log (/ -1 e)) (log (* -1 (/ (sin v) (cos v))))))) (* (pow e 2) (pow (cos v) 2))))) (* 1/3 (/ (exp (* 1/3 (+ (log (/ -1 e)) (log (* -1 (/ (sin v) (cos v))))))) (* e (cos v)))))
201.0ms	(- (pow v 2/3) (+ (* 1/9 (pow (pow v 8) 1/3)) (* 2/3 (* e (pow (pow v 2) 1/3)))))

prune1.9s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes132.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch2.0ms

end0.0ms

sample5.6s

Algorithm

intervals

Results

2.1s	1502×	body	1280	valid
1.7s	1332×	body	640	valid
740.0ms	4255×	body	80	valid
405.0ms	606×	body	320	valid
294.0ms	8000×	pre	80	true
155.0ms	305×	body	160	valid