Details

Time bar (total: 23.1s)

sample265.0ms

Algorithm
intervals
Results
88.0ms50×body2560valid
66.0ms71×body1280valid
33.0ms62×body80valid
31.0ms49×body640valid
7.0ms16×body320valid
2.0ms8×body160valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02327
14425
210125
323225
443625
572825
6101225
7119425
8129225
9147525
10151125
done151125

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.8b

localize28.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (+ (* y 2.0) 1.0) z) t)
3.6b
(* (* (+ (* a 2.0) 1.0) b) t)
33.0b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
34.1b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
8×associate-*l/
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 62
Calls
4 calls:
45.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
50.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
4.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
5.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series211.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
71.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
43.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
41.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify1.0s

Counts
74 → 74
Iterations

Useful iterations: done (1.0s)

IterNodesCost
0146980
1381886
21608738
done5000730

prune640.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 41.2b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
0.2b
(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
1.5b
(* (* (+ (* y 2.0) 1.0) z) t)
33.0b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log add-cbrt-cube
11×pow1 add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
8×associate-*l/
7×prod-exp cbrt-unprod
6×associate-*r*
4×expm1-log1p-u associate-*l* pow-prod-down log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac div-exp associate-/r*
2×flip3-+ *-commutative flip-+ associate-/l/
1×frac-2neg clear-num div-inv associate-/l* unswap-sqr
Counts
4 → 78
Calls
4 calls:
15.0ms
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
51.0ms
(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
64.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
7.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series255.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
51.0ms
(/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)
53.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
61.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify1.3s

Counts
90 → 90
Iterations

Useful iterations: 2 (237.0ms)

IterNodesCost
01511350
13881226
216921016
done50001016

prune660.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 39.9b

localize9.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

prune197.0ms

Pruning

32 alts after pruning (31 fresh and 1 done)

Merged error: 39.9b

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
2.9b
(* (* z t) (fma 2.0 y 1.0))
33.0b
(cos (/ (/ (* (* z t) (fma 2.0 y 1.0)) (* (cbrt 16.0) (cbrt 16.0))) (cbrt 16.0)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×pow1/3 fma-udef
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Counts
4 → 57
Calls
4 calls:
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
34.0ms
(* (* z t) (fma 2.0 y 1.0))
12.0ms
(cos (/ (/ (* (* z t) (fma 2.0 y 1.0)) (* (cbrt 16.0) (cbrt 16.0))) (cbrt 16.0)))

series196.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
76.0ms
(* (* z t) (fma 2.0 y 1.0))
119.0ms
(cos (/ (/ (* (* z t) (fma 2.0 y 1.0)) (* (cbrt 16.0) (cbrt 16.0))) (cbrt 16.0)))

simplify2.5s

Counts
65 → 65
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
091698
1189683
2683531
32918489
done5001489

prune300.0ms

Pruning

35 alts after pruning (34 fresh and 1 done)

Merged error: 39.5b

regimes2.9s

Accuracy

0% (4.9b remaining)

Error of 43.9b against oracle of 39.0b and baseline of 43.9b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
088
1111
done111

end0.0ms

sample8.9s

Algorithm
intervals
Results
3.8s1839×body2560valid
2.6s2226×body1280valid
871.0ms1153×body640valid
403.0ms253×body160valid
298.0ms1964×body80valid
232.0ms528×body320valid
110.0ms37×body5120valid