Details

Time bar (total: 9.3s)

sample37.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify250.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.9b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (* y y))
0.0b
(* 4.0 (* y y))
3.1b
(- (* x x) (* 4.0 (* y y)))
30.2b
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

rewrite75.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:
15.0ms
(* 4.0 (* y y))
25.0ms
(* 4.0 (* y y))
7.0ms
(- (* x x) (* 4.0 (* y y)))
26.0ms
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

series261.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* 4.0 (* y y))
52.0ms
(* 4.0 (* y y))
71.0ms
(- (* x x) (* 4.0 (* y y)))
91.0ms
(/ (- (* x x) (* 4.0 (* y y))) (+ (* x x) (* 4.0 (* y y))))

simplify1.1s

Counts
94 → 94
Iterations
IterNodes
done5000
21789
1315
0107

prune443.0ms

Pruning

4 alts after pruning (4 fresh and 0 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

prune8.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize21.0ms

Local error

Found 4 expressions with local error:

1.9b
(/ x (/ (+ (* x x) (* (* 4.0 y) y)) x))
2.4b
(/ (* 4.0 y) (/ (+ (* x x) (* (* 4.0 y) y)) y))
16.8b
(/ (+ (* x x) (* (* 4.0 y) y)) y)
17.9b
(/ (+ (* x x) (* (* 4.0 y) y)) x)

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
124×times-frac
76×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
32×associate-/r*
25×add-cbrt-cube add-exp-log
11×cbrt-undiv div-exp
10×div-inv associate-/l*
4×pow1 clear-num frac-2neg add-log-exp associate-/l/
2×flip3-+ prod-exp associate-/r/ cbrt-unprod flip-+
Counts
4 → 174
Calls
4 calls:
13.0ms
(/ x (/ (+ (* x x) (* (* 4.0 y) y)) x))
15.0ms
(/ (* 4.0 y) (/ (+ (* x x) (* (* 4.0 y) y)) y))
26.0ms
(/ (+ (* x x) (* (* 4.0 y) y)) y)
50.0ms
(/ (+ (* x x) (* (* 4.0 y) y)) x)

series333.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ x (/ (+ (* x x) (* (* 4.0 y) y)) x))
83.0ms
(/ (* 4.0 y) (/ (+ (* x x) (* (* 4.0 y) y)) y))
107.0ms
(/ (+ (* x x) (* (* 4.0 y) y)) y)
72.0ms
(/ (+ (* x x) (* (* 4.0 y) y)) x)

simplify548.0ms

Counts
186 → 186
Iterations
IterNodes
done5000
1764
0272

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3))
0.0b
(pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3)
3.1b
(- (* x x) (* (* 4.0 y) y))
30.2b
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
42×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
36×cbrt-prod
30×unpow-prod-down cube-prod
10×associate-/r/
9×add-cbrt-cube add-exp-log
6×add-log-exp
5×pow1 flip3-+ flip-+ div-inv
3×pow-unpow associate-/r* associate-/l*
2×cube-div cube-mult cbrt-undiv flip3-- unpow3 div-exp pow-exp flip-- rem-cube-cbrt sqr-pow associate-/l/
1×pow-to-exp cbrt-div clear-num sub-neg pow-pow frac-2neg pow1/3 diff-log div-sub rem-cbrt-cube
Counts
4 → 140
Calls
4 calls:
32.0ms
(cbrt (pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3))
21.0ms
(pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3)
6.0ms
(- (* x x) (* (* 4.0 y) y))
32.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

series382.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3))
115.0ms
(pow (/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y))) 3)
58.0ms
(- (* x x) (* (* 4.0 y) y))
105.0ms
(/ (- (* x x) (* (* 4.0 y) y)) (+ (* x x) (* (* 4.0 y) y)))

simplify2.4s

Counts
152 → 152
Iterations
IterNodes
done5000
23981
1617
0166

prune680.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

regimes226.0ms

Accuracy

59.9% (12.7b remaining)

Error of 13.1b against oracle of 0.4b and baseline of 32.1b

bsearch191.0ms

Steps
ItersRangePoint
5
1.9240342807455842e+87
5.124373845119881e+87
3.1630542380826314e+87
7
3.0679040833922326e-68
9.868424738655546e-67
2.2123513030846486e-67
5
-3.293196054980349e-30
-8.674195123893105e-31
-8.913820328861513e-31
9
-4.835830320260309e+116
-5.2561174750454686e+110
-3.678618962503878e+116

simplify7.0ms

Iterations
IterNodes
done33
133
028

end0.0ms

sample916.0ms

Algorithm
intervals
Results
633.0ms8000×body80valid