Details

Time bar (total: 60.0s)

sample35.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify46.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01821
13521
26421
314521
435021
573621
6103721
7127321
8150421
9187621
10260421
11338221
12415621
13416321
14416821
15417321
16417821
17418321
18418821
19419321
20419821
21420321
22420821
23421321
24421821
25422321
26422821
27423321
28423821
29424321
30424821
31425321
32425821
33426321
34426821
35427321
36427821
37428321
38428821
39429321
40429821
41430321
42430821
43431321
44431821
45432321
46432821
47433321
48433821
49434321
50434821
51435321
52435821
53436321
54436821
55437321
56437821
57438321
58438821
59439321
60439821
61440321
62440821
63441321
64441821
65442321
66442821
67443321
68443821
69444321
70444821
71445321
72445821
73446321
74446821
75447321
76447821
77448321
78448821
79449321
80449821
81450321
82450821
83451321
84451821
85452321
86452821
87453321
88453821
89454321
90454821
91455321
92455821
93456321
94456821
95457321
96457821
97458321
98458821
99459321
100459821
101460321
102460821
103461321
104461821
105462321
106462821
107463321
108463821
109464321
110464821
111465321
112465821
113466321
114466821
115467321
116467821
117468321
118468821
119469321
120469821
121470321
122470821
123471321
124471821
125472321
126472821
127473321
128473821
129474321
130474821
131475321
132475821
133476321
134476821
135477321
136477821
137478321
138478821
139479321
140479821
141480321
142480821
143481321
144481821
145482321
146482821
147483321
148483821
149484321
150484821
151485321
152485821
153486321
154486821
155487321
156487821
157488321
158488821
159489321
160489821
161490321
162490821
163491321
164491821
165492321
166492821
167493321
168493821
169494321
170494821
171495321
172495821
173496321
174496821
175497321
176497821
177498321
178498821
179499321
180499821
done500021

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.5b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ z 6.012459259764103) z)
0.1b
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
3.1b
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
17.8b
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-exp-log add-cbrt-cube
14×*-un-lft-identity
12×add-cube-cbrt
10×pow1 associate-*l*
9×associate-*r*
5×flip3-+ flip-+
4×associate-*r/ associate-*l/ prod-exp cbrt-unprod add-log-exp
3×times-frac pow-prod-down associate-/r* *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-/r/ associate-/l/
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num div-inv distribute-lft-out associate-/l*
Counts
4 → 88
Calls
4 calls:
24.0ms
(* (+ z 6.012459259764103) z)
29.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
72.0ms
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
99.0ms
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series388.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (+ z 6.012459259764103) z)
86.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
79.0ms
(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
169.0ms
(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify2.0s

Counts
100 → 100
Iterations

Useful iterations: 2 (496.0ms)

IterNodesCost
01901538
15511492
229541302
done50011302

prune514.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ z 6.012459259764103) z)
0.1b
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.3b
(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
14.2b
(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
64×add-sqr-sqrt
62×*-un-lft-identity
60×add-cube-cbrt
18×associate-/r*
15×add-exp-log add-cbrt-cube
11×associate-/r/
8×pow1 flip3-+ flip-+
7×associate-*l*
6×associate-*r* div-inv associate-/l*
4×cbrt-undiv div-exp associate-*l/ add-log-exp
2×frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod associate-/l/ unswap-sqr
1×distribute-lft-out
Counts
4 → 150
Calls
4 calls:
45.0ms
(* (+ z 6.012459259764103) z)
27.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
95.0ms
(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
120.0ms
(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

series496.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* (+ z 6.012459259764103) z)
124.0ms
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
213.0ms
(/ y (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))
93.0ms
(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))

simplify2.2s

Counts
162 → 162
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03034145
18064053
242423807
done50023803

prune790.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 14.431876219268938 (/ 15.646356830292035 z))
0.0b
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
0.1b
(/ 101.23733352003816 (* z z))
5.8b
(/ y (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
21×add-sqr-sqrt
19×times-frac
16×add-cube-cbrt
11×add-exp-log add-cbrt-cube add-log-exp
10×distribute-lft-out
6×associate-/r* associate-/l* distribute-lft-out--
4×pow1 frac-add associate-/r/
3×cbrt-undiv flip3-- div-exp flip--
2×sub-neg associate-+l+ frac-2neg flip3-+ diff-log clear-num sum-log flip-+ div-inv difference-of-squares
1×+-commutative associate-+l- prod-exp cbrt-unprod
Counts
4 → 94
Calls
4 calls:
11.0ms
(- 14.431876219268938 (/ 15.646356830292035 z))
107.0ms
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
13.0ms
(/ 101.23733352003816 (* z z))
138.0ms
(/ y (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))

series225.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- 14.431876219268938 (/ 15.646356830292035 z))
38.0ms
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
52.0ms
(/ 101.23733352003816 (* z z))
94.0ms
(/ y (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))

simplify1.2s

Counts
106 → 106
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01811643
14441571
221431455
done50001453

prune371.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
0.1b
(/ 101.23733352003816 (* z z))
0.4b
(/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))
5.8b
(* y (/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))))

rewrite574.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity
35×times-frac
33×add-sqr-sqrt
26×add-cube-cbrt
23×associate-*r*
22×add-exp-log
16×add-cbrt-cube distribute-lft-out
9×add-log-exp
8×associate-/r/ distribute-lft-out--
7×pow1
6×div-exp frac-add associate-/r* associate-/l*
5×prod-exp
4×cbrt-undiv
3×flip3-- flip3-+ associate-*l* flip-- cbrt-unprod flip-+ div-inv unswap-sqr
2×rec-exp associate-+l+ frac-2neg 1-exp clear-num sum-log
1×+-commutative associate-+l- sub-neg pow-flip diff-log associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 129
Calls
4 calls:
98.0ms
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
17.0ms
(/ 101.23733352003816 (* z z))
134.0ms
(/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))
319.0ms
(* y (/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))))

series209.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))
27.0ms
(/ 101.23733352003816 (* z z))
54.0ms
(/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z))))
99.0ms
(* y (/ 1 (+ (- 14.431876219268938 (/ 15.646356830292035 z)) (/ 101.23733352003816 (* z z)))))

simplify1.6s

Counts
141 → 141
Iterations

Useful iterations: 2 (466.0ms)

IterNodesCost
02142405
15772208
229571953
done50021953

prune407.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes152.0ms

Accuracy

98.1% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 16.2b

bsearch278.0ms

Steps
ItersRangePoint
10
3.0915543265581966e-08
1575.9184687212278
5.081171329344766
10
-1.3980170606481126e+18
-840.7546654138404
-853.3972873017341

simplify9.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
03461
14945
done4945

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid