Details

Time bar (total: 24.5s)

sample324.0ms

Algorithm
intervals
Results
127.0ms63×body2560valid
104.0ms74×body1280valid
26.0ms34×body640valid
11.0ms64×body80valid
6.0ms12×body320valid
3.0ms8×body160valid
3.0ms1×body5120valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done1501
101501
91489
81336
71246
61065
5802
4460
3223
298
142
023

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 45.3b

localize52.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
2.7b
(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
34.5b
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
34.9b
(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
435×times-frac
203×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
49×associate-/r*
25×associate-/r/
22×add-cbrt-cube add-exp-log
17×div-inv
14×flip3-+ flip-+
9×pow1
7×cbrt-undiv div-exp
5×prod-exp cbrt-unprod
4×associate-*l/ add-log-exp
3×associate-*r* pow-prod-down associate-/l*
2×distribute-rgt-in frac-times cos-sum distribute-lft-in associate-*r/
1×clear-num frac-2neg associate-*l* *-commutative
Counts
4 → 259
Calls
4 calls:
47.0ms
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
28.0ms
(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
17.0ms
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
25.0ms
(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
77.0ms
(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
30.0ms
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
35.0ms
(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

simplify972.0ms

Counts
271 → 271
Iterations
IterNodes
done5001
11858
0625

prune3.3s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 40.3b

localize24.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (* 1 x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
2.4b
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
34.5b
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
17×add-cbrt-cube
13×pow1
10×prod-exp
8×cbrt-unprod
6×associate-*r* pow-prod-down
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l/
3×add-log-exp
2×distribute-rgt-in frac-times cos-sum distribute-lft-in flip3-+ associate-*l* associate-*r/ *-commutative flip-+
1×cbrt-undiv 1-exp div-exp
Counts
3 → 55
Calls
3 calls:
56.0ms
(* (* 1 x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
32.0ms
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
15.0ms
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

series200.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(* (* 1 x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
83.0ms
(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
29.0ms
(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

simplify1.0s

Counts
64 → 64
Iterations
IterNodes
done5002
22508
1431
0143

prune680.0ms

Pruning

37 alts after pruning (37 fresh and 0 done)

Merged error: 38.9b

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune289.0ms

Pruning

37 alts after pruning (36 fresh and 1 done)

Merged error: 38.9b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))
0.7b
(* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a))))
1.8b
(* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0))))
34.1b
(cos (* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a)))))

rewrite727.0ms

Algorithm
rewrite-expression-head
Rules
144×cbrt-div
102×frac-times
75×associate-*l/
72×flip3-+ flip-+
56×add-exp-log
52×associate-*r/
41×pow1
35×add-cbrt-cube
34×prod-exp cbrt-unprod
23×pow-prod-down
22×add-sqr-sqrt
19×cbrt-prod
14×*-un-lft-identity add-cube-cbrt
13×associate-*r*
8×associate-*l*
6×pow1/3 swap-sqr
4×cbrt-undiv div-exp add-log-exp unswap-sqr
3×*-commutative
2×pow-sqr pow-prod-up
1×pow2 pow-plus
Counts
4 → 185
Calls
4 calls:
61.0ms
(* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))
278.0ms
(* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a))))
88.0ms
(* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0))))
284.0ms
(cos (* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a)))))

series503.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))
82.0ms
(* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a))))
213.0ms
(* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0))))
30.0ms
(cos (* (* (* (/ t 16.0) b) (* (cbrt (+ (* a 2.0) 1.0)) (cbrt (+ (* a 2.0) 1.0)))) (cbrt (+ 1.0 (* 2.0 a)))))

simplify474.0ms

Counts
197 → 197
Iterations
IterNodes
done5001
11124
0375

prune1.1s

Pruning

48 alts after pruning (47 fresh and 1 done)

Merged error: 38.5b

regimes2.9s

Accuracy

0% (5.1b remaining)

Error of 44.3b against oracle of 39.2b and baseline of 44.3b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
04

end0.0ms

sample8.3s

Algorithm
intervals
Results
3.3s1809×body2560valid
2.9s2269×body1280valid
846.0ms1173×body640valid
271.0ms1884×body80valid
259.0ms553×body320valid
125.0ms44×body5120valid
66.0ms268×body160valid