Details

Time bar (total: 17.4s)

sample67.0ms

Algorithm
intervals
Results
17.0ms188×body80valid
16.0ms24×body1280valid
10.0ms24×body640valid
4.0ms14×body320valid
1.0ms6×body160valid

simplify12.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
089
1139
2218
3288
done288

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (sin y))
0.1b
(fma (cos y) z (+ x (sin y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
5×*-un-lft-identity
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt fma-def
2×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
1×+-commutative flip3-+ sum-log flip-+ fma-udef distribute-lft-out
Counts
2 → 27
Calls
2 calls:
15.0ms
(+ x (sin y))
1.0ms
(fma (cos y) z (+ x (sin y)))

series113.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(+ x (sin y))
58.0ms
(fma (cos y) z (+ x (sin y)))

simplify1.1s

Counts
33 → 33
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
046251
199246
2232220
3854220
done5000220

prune146.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fma (cos y) z (+ x (sin y))))
0.1b
(fma (cos y) z (+ x (sin y)))
0.1b
(fma (cos y) z (+ x (sin y)))
0.2b
(* (sqrt (fma (cos y) z (+ x (sin y)))) (sqrt (fma (cos y) z (+ x (sin y)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
21×sqrt-prod
20×pow1
13×add-cube-cbrt *-un-lft-identity
9×sqrt-pow1 pow1/2
8×swap-sqr
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×fma-udef
1×pow2 rem-sqrt-square pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 86
Calls
4 calls:
3.0ms
(sqrt (fma (cos y) z (+ x (sin y))))
1.0ms
(fma (cos y) z (+ x (sin y)))
1.0ms
(fma (cos y) z (+ x (sin y)))
28.0ms
(* (sqrt (fma (cos y) z (+ x (sin y)))) (sqrt (fma (cos y) z (+ x (sin y)))))

series355.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(sqrt (fma (cos y) z (+ x (sin y))))
70.0ms
(fma (cos y) z (+ x (sin y)))
65.0ms
(fma (cos y) z (+ x (sin y)))
50.0ms
(* (sqrt (fma (cos y) z (+ x (sin y)))) (sqrt (fma (cos y) z (+ x (sin y)))))

simplify2.4s

Counts
98 → 98
Iterations

Useful iterations: done (2.4s)

IterNodesCost
0921716
11951179
25601044
32992993
done5000954

prune313.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (cos y) z (+ x (sin y)))
0.1b
(fma (cos y) z (+ x (sin y)))
0.2b
(* (sqrt (fma (cos y) z (+ x (sin y)))) (* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y)))))))
0.2b
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y))))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
83×sqrt-pow1
71×sqrt-prod
65×pow1
52×add-sqr-sqrt
43×pow1/2
39×pow-prod-up
18×add-cube-cbrt *-un-lft-identity
17×swap-sqr
15×associate-*l*
12×pow-prod-down
11×add-exp-log pow-sqr add-cbrt-cube unswap-sqr
10×associate-*r*
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×sqrt-unprod
2×*-commutative fma-udef
1×pow2 pow-plus rem-square-sqrt
Counts
4 → 145
Calls
4 calls:
1.0ms
(fma (cos y) z (+ x (sin y)))
1.0ms
(fma (cos y) z (+ x (sin y)))
63.0ms
(* (sqrt (fma (cos y) z (+ x (sin y)))) (* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y)))))))
36.0ms
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y))))))

series338.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(fma (cos y) z (+ x (sin y)))
76.0ms
(fma (cos y) z (+ x (sin y)))
54.0ms
(* (sqrt (fma (cos y) z (+ x (sin y)))) (* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y)))))))
126.0ms
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (sqrt (sqrt (fma (cos y) z (+ x (sin y))))))

simplify2.4s

Counts
157 → 157
Iterations

Useful iterations: done (2.4s)

IterNodesCost
01513750
13651893
216731657
done50001610

prune551.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma z (cos y) (+ x (sin y)))
0.1b
(fma (cos y) z (+ x (sin y)))
0.1b
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3))
0.3b
(pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3)

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
87×sqrt-prod
66×add-sqr-sqrt
27×unpow-prod-down cube-prod
24×associate-*r* unswap-sqr
21×add-cube-cbrt *-un-lft-identity
10×add-exp-log
9×associate-*l*
7×pow1 add-cbrt-cube
5×pow-pow sqr-pow
4×expm1-log1p-u sqrt-pow1 log1p-expm1-u add-log-exp
3×pow-unpow prod-exp
2×cube-mult pow-to-exp pow1/2 unpow3 pow-exp fma-udef
1×*-commutative sqrt-pow2 cbrt-unprod rem-cube-cbrt
Counts
4 → 133
Calls
4 calls:
1.0ms
(fma z (cos y) (+ x (sin y)))
1.0ms
(fma (cos y) z (+ x (sin y)))
42.0ms
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3))
6.0ms
(pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3)

series806.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(fma z (cos y) (+ x (sin y)))
53.0ms
(fma (cos y) z (+ x (sin y)))
275.0ms
(* (sqrt (sqrt (fma (cos y) z (+ x (sin y))))) (pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3))
420.0ms
(pow (sqrt (sqrt (fma z (cos y) (+ x (sin y))))) 3)

simplify5.2s

Counts
145 → 145
Iterations

Useful iterations: done (5.2s)

IterNodesCost
01973755
15403372
233982619
done50002496

prune532.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes120.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.0s991×body1280valid
593.0ms5554×body80valid
341.0ms848×body640valid
141.0ms402×body320valid
36.0ms205×body160valid