Details

Time bar (total: 20.3s)

sample362.0ms

Algorithm
intervals
Results
159.0ms76×body2560valid
107.0ms65×body1280valid
25.0ms31×body640valid
12.0ms65×body80valid
9.0ms14×body320valid
2.0ms5×body160valid

simplify3.1s

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

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 45.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (+ (* a 2.0) 1.0) b) t)
1.7b
(* (* (+ (* y 2.0) 1.0) z) t)
32.1b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
36.5b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite79.0ms

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

series201.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
48.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
50.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
55.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify914.0ms

Counts
66 → 66
Iterations
IterNodes
done5002
22495
1379
0138

prune535.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 41.3b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* y 2.0) 1.0) z)
0.1b
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
1.7b
(* (* (+ (* y 2.0) 1.0) z) t)
32.1b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
9×*-un-lft-identity associate-*r* add-cube-cbrt
7×associate-*l*
6×associate-*l/
5×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×*-commutative
2×flip3-+ flip-+ unswap-sqr
Counts
4 → 65
Calls
4 calls:
21.0ms
(* (+ (* y 2.0) 1.0) z)
7.0ms
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
36.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
3.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series216.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (+ (* y 2.0) 1.0) z)
81.0ms
(* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0)))
49.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
44.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify769.0ms

Counts
77 → 77
Iterations
IterNodes
done5001
21823
1295
0118

prune507.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 39.3b

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

prune179.0ms

Pruning

32 alts after pruning (31 fresh and 1 done)

Merged error: 39.3b

localize28.0ms

Local error

Found 4 expressions with local error:

17.1b
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
17.1b
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
17.1b
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
31.9b
(cos (/ (* (* (cbrt (* t (* (+ (* y 2.0) 1.0) z))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) 16.0))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div associate-*l/ associate-*r/
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×cbrt-prod flip3-+ pow1/3 flip-+
Counts
4 → 40
Calls
4 calls:
21.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
21.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
26.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
3.0ms
(cos (/ (* (* (cbrt (* t (* (+ (* y 2.0) 1.0) z))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) 16.0))

series550.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
174.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
176.0ms
(cbrt (* t (* (+ (* y 2.0) 1.0) z)))
33.0ms
(cos (/ (* (* (cbrt (* t (* (+ (* y 2.0) 1.0) z))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) (cbrt (* t (* (+ (* y 2.0) 1.0) z)))) 16.0))

simplify1.2s

Counts
52 → 52
Iterations
IterNodes
done5001
34190
2844
1266
0114

prune355.0ms

Pruning

37 alts after pruning (36 fresh and 1 done)

Merged error: 39.0b

regimes3.2s

Accuracy

0% (4.8b remaining)

Error of 44.6b against oracle of 39.9b and baseline of 44.6b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
04

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.4s1825×body2560valid
2.0s2280×body1280valid
879.0ms1168×body640valid
561.0ms561×body320valid
225.0ms1858×body80valid
153.0ms45×body5120valid
57.0ms263×body160valid