Details

Time bar (total: 23.7s)

sample254.0ms

Algorithm
intervals
Results
120.0ms53×body2560valid
51.0ms59×body1280valid
24.0ms41×body640valid
11.0ms4×body5120valid
10.0ms72×body80valid
7.0ms19×body320valid
2.0ms8×body160valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
023609
144559
2101559
3233559
4507559
5902559
61243559
71453559
81551559
91741559
101777559
done1777559

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.4b

localize62.0ms

Local error

Found 4 expressions with local error:

2.1b
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
3.2b
(* (* (fma y 2.0 1.0) z) t)
31.5b
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))
33.9b
(cos (/ (* (* (fma y 2.0 1.0) z) t) 16.0))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
21×add-cbrt-cube add-exp-log
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
9×pow1
6×cbrt-undiv div-exp
5×prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down div-inv
1×clear-num frac-2neg associate-*l* associate-/r/ *-commutative associate-/l*
Counts
4 → 86
Calls
4 calls:
11.0ms
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
14.0ms
(* (* (fma y 2.0 1.0) z) t)
10.0ms
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))
6.0ms
(cos (/ (* (* (fma y 2.0 1.0) z) t) 16.0))

series240.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
64.0ms
(* (* (fma y 2.0 1.0) z) t)
50.0ms
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))
67.0ms
(cos (/ (* (* (fma y 2.0 1.0) z) t) 16.0))

simplify1.6s

Counts
98 → 98
Iterations

Useful iterations: done (1.6s)

IterNodesCost
019526149
148324750
2300023825
done500223585

prune1.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 38.9b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (fma a 2.0 1.0) b)
0.1b
(* (* 1 x) (cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t))))
2.1b
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
31.5b
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
25×add-exp-log
23×add-sqr-sqrt add-cbrt-cube
21×*-un-lft-identity add-cube-cbrt
13×associate-/r*
11×pow1
8×prod-exp
6×cbrt-undiv div-exp associate-*r* cbrt-unprod
4×expm1-log1p-u associate-*l* pow-prod-down log1p-expm1-u add-log-exp
3×div-inv
2×*-commutative
1×clear-num frac-2neg 1-exp associate-/r/ associate-/l* unswap-sqr
Counts
4 → 98
Calls
4 calls:
5.0ms
(* (fma a 2.0 1.0) b)
15.0ms
(* (* 1 x) (cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t))))
11.0ms
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
5.0ms
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))

series245.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (fma a 2.0 1.0) b)
85.0ms
(* (* 1 x) (cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t))))
52.0ms
(/ (* (fma a 2.0 1.0) b) (/ 16.0 t))
59.0ms
(cos (/ (* (fma a 2.0 1.0) b) (/ 16.0 t)))

simplify1.7s

Counts
110 → 110
Iterations

Useful iterations: 2 (680.0ms)

IterNodesCost
020130589
148728035
2277327031
done500127031

prune1.2s

Pruning

36 alts after pruning (36 fresh and 0 done)

Merged error: 37.2b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune289.0ms

Pruning

36 alts after pruning (35 fresh and 1 done)

Merged error: 37.2b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 1 x) (cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b))))))
3.0b
(fma 0.0625 (* t b) (* 0.125 (* t (* a b))))
4.8b
(* t (* a b))
31.5b
(cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
14×pow1 add-cbrt-cube
8×prod-exp
6×add-sqr-sqrt *-un-lft-identity pow-prod-down add-cube-cbrt cbrt-unprod
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×*-commutative fma-udef
1×cos-sum 1-exp
Counts
4 → 61
Calls
4 calls:
15.0ms
(* (* 1 x) (cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b))))))
0.0ms
(fma 0.0625 (* t b) (* 0.125 (* t (* a b))))
16.0ms
(* t (* a b))
4.0ms
(cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b)))))

series285.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(* (* 1 x) (cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b))))))
93.0ms
(fma 0.0625 (* t b) (* 0.125 (* t (* a b))))
35.0ms
(* t (* a b))
48.0ms
(cos (fma 0.0625 (* t b) (* 0.125 (* t (* a b)))))

simplify1.3s

Counts
73 → 73
Iterations

Useful iterations: done (1.3s)

IterNodesCost
010920242
124917323
295216278
done500115203

prune516.0ms

Pruning

37 alts after pruning (36 fresh and 1 done)

Merged error: 37.1b

regimes2.1s

Accuracy

0% (4.7b remaining)

Error of 45.0b against oracle of 40.3b and baseline of 45.0b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
done11

end0.0ms

sample9.1s

Algorithm
intervals
Results
3.9s1898×body2560valid
3.2s2291×body1280valid
843.0ms1165×body640valid
370.0ms571×body320valid
284.0ms1775×body80valid
116.0ms38×body5120valid
69.0ms262×body160valid