Details

Time bar (total: 1.7m)

sample523.0ms

Algorithm
intervals
Results
312.0ms47×body640valid
61.0ms43×body1280valid
29.0ms137×body80valid
13.0ms256×pre80true
13.0ms20×body320valid
4.0ms9×body160valid

simplify694.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
693.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×times-frac
18×*-un-lft-identity add-cube-cbrt
13×associate-*l*
9×add-cbrt-cube add-exp-log
4×pow1
3×associate-/r* associate-*r* associate-/l*
2×expm1-log1p-u cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv add-log-exp unswap-sqr
1×clear-num frac-2neg pow-prod-down associate-*l/ *-commutative
Counts
2 → 65
Calls
2 calls:
Slowest
25.0ms
(* (/ e (fma (cos v) e 1)) (sin v))
8.0ms
(/ e (fma (cos v) e 1))

series236.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
149.0ms
(* (/ e (fma (cos v) e 1)) (sin v))
87.0ms
(/ e (fma (cos v) e 1))

simplify3.0s

Counts
55 → 71
Calls
55 calls:
Slowest
266.0ms
(* (* (* (/ e (fma (cos v) e 1)) (/ e (fma (cos v) e 1))) (/ e (fma (cos v) e 1))) (* (* (sin v) (sin v)) (sin v)))
256.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
255.0ms
(- (+ e (pow e 3)) (pow e 2))
212.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
196.0ms
(/ (* (* e e) e) (* (* (fma (cos v) e 1) (fma (cos v) e 1)) (fma (cos v) e 1)))

prune799.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e)))
0.3b
(/ (fma (cos v) e 1) (sqrt e))
0.1b
(* (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e))) (sin v))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
526×times-frac
303×add-sqr-sqrt
279×*-un-lft-identity add-cube-cbrt
269×sqrt-prod
137×associate-*l*
28×associate-/r*
19×add-cbrt-cube add-exp-log
16×div-inv
9×associate-/l*
7×cbrt-undiv div-exp unswap-sqr
5×pow1
3×expm1-log1p-u associate-*r* prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/r/
1×pow-prod-down associate-*l/ *-commutative
Counts
3 → 386
Calls
3 calls:
Slowest
40.0ms
(* (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e))) (sin v))
10.0ms
(/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e)))
10.0ms
(/ (fma (cos v) e 1) (sqrt e))

series360.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
136.0ms
(* (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e))) (sin v))
114.0ms
(/ (fma (cos v) e 1) (sqrt e))
109.0ms
(/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e)))

simplify29.9s

Counts
512 → 395
Calls
512 calls:
Slowest
729.0ms
(* (* (* (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e))) (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e)))) (/ (sqrt e) (/ (fma (cos v) e 1) (sqrt e)))) (* (* (sin v) (sin v)) (sin v)))
496.0ms
(/ (* (* (sqrt e) (sqrt e)) (sqrt e)) (* (* (/ (fma (cos v) e 1) (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))) (/ (fma (cos v) e 1) (sqrt e))))
380.0ms
(/ (sqrt 1) (/ (* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1))) (* (cbrt (sqrt e)) (cbrt (sqrt e)))))
339.0ms
(/ (sqrt 1) (/ (* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1))) (* (cbrt (sqrt e)) (cbrt (sqrt e)))))
280.0ms
(* (/ (* (* (sqrt e) (sqrt e)) (sqrt e)) (/ (* (* (fma (cos v) e 1) (fma (cos v) e 1)) (fma (cos v) e 1)) (* (* (sqrt e) (sqrt e)) (sqrt e)))) (* (* (sin v) (sin v)) (sin v)))

prune4.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (fma (* e e) e (- e (* e e))) (sin v))
0.0b
(fma (* e e) e (- e (* e e)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*r* associate-*l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
2 → 32
Calls
2 calls:
Slowest
9.0ms
(* (fma (* e e) e (- e (* e e))) (sin v))
0.0ms
(fma (* e e) e (- e (* e e)))

series131.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
84.0ms
(* (fma (* e e) e (- e (* e e))) (sin v))
46.0ms
(fma (* e e) e (- e (* e e)))

simplify3.0s

Counts
16 → 38
Calls
16 calls:
Slowest
791.0ms
(* (* (* (fma (* e e) e (- e (* e e))) (fma (* e e) e (- e (* e e)))) (fma (* e e) e (- e (* e e)))) (* (* (sin v) (sin v)) (sin v)))
382.0ms
(* (fma (* e e) e (- e (* e e))) (sin v))
250.0ms
(- (+ e (pow e 3)) (pow e 2))
193.0ms
(- (+ (* (pow e 3) (sin v)) (* e (sin v))) (* (pow e 2) (sin v)))
189.0ms
(- (+ e (pow e 3)) (pow e 2))

prune502.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))
0.3b
(* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))))
0.3b
(/ (fma (cos v) e 1) (sqrt e))
0.1b
(* (* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))) (sin v))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
801×times-frac
663×sqrt-prod
511×add-sqr-sqrt
406×*-un-lft-identity add-cube-cbrt
206×associate-*r*
34×add-cbrt-cube add-exp-log
30×unswap-sqr
28×associate-/r*
22×div-inv
12×associate-/l*
11×pow1
10×cbrt-undiv div-exp associate-*l* prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-*r/ associate-/r/ *-commutative
1×associate-*l/
Counts
4 → 576
Calls
4 calls:
Slowest
96.0ms
(* (* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))) (sin v))
34.0ms
(* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))))
9.0ms
(/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))
5.0ms
(/ (fma (cos v) e 1) (sqrt e))

series517.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))
147.0ms
(* (* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))) (sin v))
96.0ms
(/ (fma (cos v) e 1) (sqrt e))
78.0ms
(* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))))

simplify43.6s

Counts
783 → 588
Calls
783 calls:
Slowest
825.0ms
(* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e)))))
581.0ms
(+ (log (* (sqrt (sqrt e)) (/ (sqrt (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))))) (log (sin v)))
523.0ms
(* (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (* (* (/ (fma (cos v) e 1) (sqrt e)) (/ (fma (cos v) e 1) (sqrt e))) (/ (fma (cos v) e 1) (sqrt e))))) (* (* (sin v) (sin v)) (sin v)))
478.0ms
(* (* (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (sqrt (sqrt e)) (sqrt (sqrt e))) (sqrt (sqrt e))) (/ (* (* (fma (cos v) e 1) (fma (cos v) e 1)) (fma (cos v) e 1)) (* (* (sqrt e) (sqrt e)) (sqrt e))))) (* (* (sin v) (sin v)) (sin v)))
464.0ms
(/ (sqrt (sqrt (sqrt e))) (/ (sqrt (fma (cos v) e 1)) (sqrt (sqrt e))))

prune8.5s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes110.0ms

Accuracy

0% (0.9b remaining)

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

bsearch1.0ms

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.0s1452×body1280valid
1.7s1242×body640valid
817.0ms4386×body80valid
747.0ms8000×pre80true
376.0ms603×body320valid
158.0ms317×body160valid