Details

Time bar (total: 8.0s)

sample29.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify226.0ms

Counts
1 → 1
Iterations
IterNodes
done202
7202
6198
5169
4116
367
235
117
09

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* y y))
0.0b
(* 4.0 (* y y))
2.7b
(- (* x x) (* 4.0 (* y y)))
28.0b
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt add-cbrt-cube add-exp-log
14×pow1 *-un-lft-identity add-cube-cbrt
9×times-frac
6×associate-*l* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×associate-/r* associate-/l*
2×flip3-- associate-*r* associate-/r/ *-commutative flip-- unswap-sqr associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
4 → 82
Calls
4 calls:
25.0ms
(* 4.0 (* y y))
14.0ms
(* 4.0 (* y y))
7.0ms
(- (* x x) (* 4.0 (* y y)))
38.0ms
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

series242.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 4.0 (* y y))
38.0ms
(* 4.0 (* y y))
63.0ms
(- (* x x) (* 4.0 (* y y)))
113.0ms
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

simplify1.0s

Counts
94 → 94
Iterations
IterNodes
done5000
21789
1315
0107

prune396.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize17.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (* x x) (* (* 4.0 y) y))
28.0b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
28.0b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
28.0b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×times-frac
10×add-cbrt-cube add-exp-log
9×associate-/r* associate-/l*
6×associate-/r/ add-log-exp associate-/l/
4×pow1 flip3-- flip--
3×cbrt-undiv clear-num frac-2neg flip3-+ div-sub div-exp flip-+ div-inv
1×sub-neg diff-log
Counts
4 → 108
Calls
4 calls:
12.0ms
(- (* x x) (* (* 4.0 y) y))
40.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
41.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
37.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

series311.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- (* x x) (* (* 4.0 y) y))
88.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
82.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
93.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

simplify666.0ms

Counts
120 → 120
Iterations
IterNodes
done5002
21303
1237
082

prune899.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.2b

localize32.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (* x x) (* (* 4.0 y) y))
28.0b
(/ (+ (pow x 2) (* (* 4.0 y) y)) (- (pow x 2) (* (* 4.0 y) y)))
28.0b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
28.0b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×times-frac
10×add-cbrt-cube add-exp-log
9×associate-/r* associate-/l*
6×associate-/r/ add-log-exp associate-/l/
4×pow1 flip3-- flip--
3×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ div-inv
2×div-sub
1×sub-neg diff-log
Counts
4 → 107
Calls
4 calls:
11.0ms
(- (* x x) (* (* 4.0 y) y))
42.0ms
(/ (+ (pow x 2) (* (* 4.0 y) y)) (- (pow x 2) (* (* 4.0 y) y)))
21.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
27.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

series371.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(- (* x x) (* (* 4.0 y) y))
95.0ms
(/ (+ (pow x 2) (* (* 4.0 y) y)) (- (pow x 2) (* (* 4.0 y) y)))
86.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))
114.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

simplify1.2s

Counts
119 → 119
Iterations
IterNodes
done5001
22176
1366
0139

prune1.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.2b

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

prune0.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.2b

regimes234.0ms

Accuracy

58.8% (12.8b remaining)

Error of 13.2b against oracle of 0.4b and baseline of 31.5b

bsearch245.0ms

Steps
ItersRangePoint
9
2.608500637638846e+49
6.787836348837619e+54
6.680131771318429e+54
10
5.867135609902031e-137
1.3413289066181662e-120
5.430501749338193e-128
9
-5.902380441646539e-162
-2.084140915635644e-170
-5.780522729495913e-162
7
-4.644078595127857e+56
-4.6999773453873415e+54
-4.542162861981963e+56

simplify6.0ms

Iterations
IterNodes
done32
132
026

end0.0ms

sample765.0ms

Algorithm
intervals
Results
508.0ms8000×body80valid