Details

Time bar (total: 40.6s)

sample273.0ms

Algorithm
intervals
Results
76.0ms32×body640valid
59.0ms58×body1280valid
26.0ms135×body80valid
17.0ms27×body320valid
11.0ms256×pre80true
2.0ms4×body160valid

simplify22.0ms

Counts
1 → 1
Iterations
IterNodes
622
522
421
319
216
114
09

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×pow1
6×associate-*r* associate-*l*
3×associate-/r* times-frac prod-exp cbrt-unprod insert-posit16 add-log-exp
2×cbrt-undiv div-exp pow-prod-down associate-/r/ *-commutative unswap-sqr
1×clear-num frac-2neg flip3-+ flip-+ div-inv associate-/l*
Counts
3 → 62
Calls
3 calls:
27.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))
17.0ms
(* e (cos v))
40.0ms
(* e (sin v))

series236.0ms

Counts
3 → 9
Calls
3 calls:
121.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))
57.0ms
(* e (cos v))
57.0ms
(* e (sin v))

simplify1.8s

Counts
71 → 71
Iterations
IterNodes
33411
2783
1266
0114

prune606.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite618.0ms

Algorithm
rewrite-expression-head
Rules
212×pow1
95×pow-prod-down
74×add-cbrt-cube add-exp-log
49×prod-exp cbrt-unprod
38×pow-prod-up
18×associate-*l*
17×add-sqr-sqrt
16×pow-sqr
12×*-un-lft-identity add-cube-cbrt
10×times-frac
8×pow-plus
6×associate-*r*
4×pow2 *-commutative insert-posit16 add-log-exp
2×swap-sqr associate-/r/ unswap-sqr
1×cbrt-undiv flip3-+ cube-unmult div-exp associate-*l/ flip-+ div-inv
Counts
4 → 169
Calls
4 calls:
30.0ms
(* (* e (cos v)) (* e (cos v)))
29.0ms
(* (* e (cos v)) (* e (cos v)))
146.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
410.0ms
(* (/ e (+ (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) 1)) (sin v))

series520.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(* (* e (cos v)) (* e (cos v)))
96.0ms
(* (* e (cos v)) (* e (cos v)))
135.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
204.0ms
(* (/ e (+ (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) 1)) (sin v))

simplify13.1s

Counts
181 → 181
Iterations
IterNodes
312174
21899
1460
0172

prune933.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
0.1b
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
0.1b
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
0.1b
(* (/ e (- (* (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) (* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))) (* 1 1))) (* (- (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) 1) (sin v)))

rewrite4.0s

Algorithm
rewrite-expression-head
Rules
393×pow1
189×pow-prod-down
139×add-cbrt-cube add-exp-log
99×prod-exp cbrt-unprod
90×pow-prod-up
27×associate-*l*
24×pow-sqr
20×*-un-lft-identity
18×times-frac cube-unmult
14×add-sqr-sqrt add-cube-cbrt
12×pow-plus
6×pow2 difference-cubes
5×associate-*l/
4×associate-*r* *-commutative insert-posit16 add-log-exp
3×flip3-- pow3 flip-- difference-of-squares
2×frac-times cbrt-undiv div-exp associate-*r/ associate-/r/
1×div-inv
Counts
4 → 241
Calls
4 calls:
124.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
126.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
134.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
3.6s
(* (/ e (- (* (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) (* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))) (* 1 1))) (* (- (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) 1) (sin v)))

series683.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
106.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
108.0ms
(* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))
345.0ms
(* (/ e (- (* (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) (* (* e (cos v)) (* (* e (cos v)) (* e (cos v))))) (* 1 1))) (* (- (* (* e (cos v)) (* (* e (cos v)) (* e (cos v)))) 1) (sin v)))

simplify1.3s

Counts
253 → 253
Iterations
IterNodes
22198
1575
0198

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
57×add-sqr-sqrt
55×*-un-lft-identity add-cube-cbrt
16×associate-/r*
12×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×pow1
4×cbrt-undiv div-exp
3×associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg associate-/l/
1×flip3-+ pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 120
Calls
3 calls:
8.0ms
(* e (cos v))
28.0ms
(/ (+ 1 (* e (cos v))) (sin v))
10.0ms
(/ e (/ (+ 1 (* e (cos v))) (sin v)))

series267.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(* e (cos v))
96.0ms
(/ (+ 1 (* e (cos v))) (sin v))
133.0ms
(/ e (/ (+ 1 (* e (cos v))) (sin v)))

simplify7.4s

Counts
129 → 129
Iterations
IterNodes
35569
21531
1537
0216

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes137.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
227
127
019

end0.0ms

sample6.1s

Algorithm
intervals
Results
3.0s1509×body1280valid
1.1s1238×body640valid
836.0ms4349×body80valid
434.0ms626×body320valid
298.0ms8000×pre80true
125.0ms278×body160valid