Details

Time bar (total: 6.8s)

sample29.0ms

Algorithm
intervals
Results
13.0ms469×body80valid

simplify22.0ms

Counts
1 → 1
Iterations
IterNodes
done51
551
447
336
223
113
07

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* y y) 3) (* x x))
0.2b
(* (* y y) 3)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
1×+-commutative sum-log flip3-+ associate-*l* *-commutative flip-+ unswap-sqr
Counts
2 → 30
Calls
2 calls:
21.0ms
(+ (* (* y y) 3) (* x x))
16.0ms
(* (* y y) 3)

series87.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(+ (* (* y y) 3) (* x x))
36.0ms
(* (* y y) 3)

simplify1.0s

Counts
36 → 36
Iterations
IterNodes
done5001
21250
1197
060

prune160.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* (* y y) 3))
0.2b
(* (* y y) 3)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
1×+-commutative sum-log flip3-+ associate-*l* *-commutative flip-+ unswap-sqr
Counts
2 → 30
Calls
2 calls:
10.0ms
(+ (* x x) (* (* y y) 3))
21.0ms
(* (* y y) 3)

series89.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(+ (* x x) (* (* y y) 3))
37.0ms
(* (* y y) 3)

simplify984.0ms

Counts
36 → 36
Iterations
IterNodes
done5000
21271
1197
060

prune158.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* y (* y 3)) (* x x))
0.2b
(* y (* y 3))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
1×+-commutative sum-log flip3-+ associate-*r* *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
20.0ms
(+ (* y (* y 3)) (* x x))
22.0ms
(* y (* y 3))

series91.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(+ (* y (* y 3)) (* x x))
39.0ms
(* y (* y 3))

simplify830.0ms

Counts
35 → 35
Iterations
IterNodes
done5000
2941
1175
056

prune112.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* y (sqrt 3)) (* y (sqrt 3))) (* x x))
0.3b
(* (* y (sqrt 3)) (* y (sqrt 3)))
0.4b
(* y (sqrt 3))
0.4b
(* y (sqrt 3))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
47×pow1
20×add-cbrt-cube add-exp-log
19×pow-prod-down
18×add-sqr-sqrt
13×associate-*r*
10×*-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod
8×sqrt-prod
7×associate-*l*
6×add-log-exp
4×pow-sqr pow-prod-up unswap-sqr
3×*-commutative
2×pow-plus
1×pow2 +-commutative sum-log flip3-+ swap-sqr flip-+
Counts
4 → 89
Calls
4 calls:
36.0ms
(+ (* (* y (sqrt 3)) (* y (sqrt 3))) (* x x))
34.0ms
(* (* y (sqrt 3)) (* y (sqrt 3)))
8.0ms
(* y (sqrt 3))
8.0ms
(* y (sqrt 3))

series249.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(+ (* (* y (sqrt 3)) (* y (sqrt 3))) (* x x))
71.0ms
(* (* y (sqrt 3)) (* y (sqrt 3)))
51.0ms
(* y (sqrt 3))
48.0ms
(* y (sqrt 3))

simplify892.0ms

Counts
101 → 101
Iterations
IterNodes
done5000
21234
1249
084

prune345.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes241.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample1.2s

Algorithm
intervals
Results
770.0ms14096×body80valid