Details

Time bar (total: 20.5s)

sample315.0ms

Algorithm
intervals
Results
67.0ms20×body320valid
65.0ms48×body1280valid
44.0ms47×body640valid
28.0ms131×body80valid
19.0ms256×pre80true
4.0ms10×body160valid

simplify549.0ms

Calls
1 calls:
Slowest
548.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 3 expressions with local error:

0.1b
(* e (cos v))
0.1b
(* e (sin 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 (cos v))
3.0ms
(* e (sin v))

series191.0ms

Calls
3 calls:
Slowest
78.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))
69.0ms
(* e (cos v))
42.0ms
(* e (sin v))

simplify1.5s

Calls
28 calls:
Slowest
339.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
258.0ms
(/ (* (* (* e (sin v)) (* e (sin v))) (* e (sin v))) (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))))
203.0ms
(+ (* 1 1) (- (* (* e (cos v)) (* e (cos v))) (* 1 (* e (cos v)))))
196.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
172.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))

prune567.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 (cos v))
0.1b
(* e (/ (sin v) (+ 1 (* 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))

series187.0ms

Calls
3 calls:
Slowest
102.0ms
(* e (/ (sin v) (+ 1 (* e (cos v)))))
47.0ms
(/ (sin v) (+ 1 (* e (cos v))))
38.0ms
(* e (cos v))

simplify3.2s

Calls
55 calls:
Slowest
403.0ms
(/ (* (* (sin v) (sin v)) (sin v)) (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))))
358.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
269.0ms
(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))
258.0ms
(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))
239.0ms
(- v (+ (* 1/6 (pow v 3)) (* e v)))

prune691.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite11.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
8.0ms
(/ (+ 1 (* e (cos v))) (sin v))
1.0ms
(* e (cos v))
1.0ms
(/ e (/ (+ 1 (* e (cos v))) (sin v)))

series194.0ms

Calls
3 calls:
Slowest
85.0ms
(/ (+ 1 (* e (cos v))) (sin v))
78.0ms
(/ e (/ (+ 1 (* e (cos v))) (sin v)))
31.0ms
(* e (cos v))

simplify2.3s

Calls
53 calls:
Slowest
490.0ms
(/ (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))) (* (* (sin v) (sin v)) (sin v)))
449.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
174.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
159.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
96.0ms
(+ (pow 1 3) (pow (* e (cos v)) 3))

prune801.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
16×associate-/l*
7×associate-/r* add-exp-log
6×add-cbrt-cube
5×pow1 div-inv
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* associate-/l/
1×cbrt-undiv rec-exp flip3-+ div-exp associate-/r/ *-commutative flip-+ pow-flip inv-pow
Calls
4 calls:
Slowest
11.0ms
(/ (/ (+ 1 (* e (cos v))) (sin v)) e)
8.0ms
(/ (+ 1 (* e (cos v))) (sin v))
2.0ms
(/ 1 (/ (/ (+ 1 (* e (cos v))) (sin v)) e))
1.0ms
(* e (cos v))

series300.0ms

Calls
4 calls:
Slowest
110.0ms
(/ (/ (+ 1 (* e (cos v))) (sin v)) e)
85.0ms
(/ 1 (/ (/ (+ 1 (* e (cos v))) (sin v)) e))
71.0ms
(/ (+ 1 (* e (cos v))) (sin v))
34.0ms
(* e (cos v))

simplify2.7s

Calls
60 calls:
Slowest
414.0ms
(/ (* (* (+ 1 (* e (cos v))) (+ 1 (* e (cos v)))) (+ 1 (* e (cos v)))) (* (* (sin v) (sin v)) (sin v)))
330.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
211.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
196.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
134.0ms
(- (* 1 1) (* (* e (cos v)) (* e (cos v))))

prune939.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes114.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.8s

Algorithm
intervals
Results
2.0s1504×body1280valid
1.7s1265×body640valid
876.0ms4271×body80valid
517.0ms653×body320valid
339.0ms8000×pre80true
197.0ms307×body160valid