Details

Time bar (total: 19.7s)

sample99.0ms

Algorithm
intervals
Results
60.0ms556×body80valid

simplify4.1s

Counts
1 → 1
Iterations
IterNodes
done5000
51660
4804
3331
2124
142
018

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize43.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (* n (+ (* (* k 2.0) x) n)) (* (* x x) (+ 4.0 (* k k)))) 100.0)
0.1b
(* n (+ (* (* k 2.0) x) n))
12.1b
(* (* x x) (+ 4.0 (* k k)))

rewrite528.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1 add-cbrt-cube add-exp-log
*-un-lft-identity add-log-exp
associate-*r* add-cube-cbrt
associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
distribute-rgt-in distribute-lft-in flip3-+ diff-log *-commutative flip-+ unswap-sqr
sum-log sub-neg flip3-- associate--l+ flip-- distribute-lft-out-- difference-of-squares
Counts
3 → 61
Calls
3 calls:
342.0ms
(- (+ (* n (+ (* (* k 2.0) x) n)) (* (* x x) (+ 4.0 (* k k)))) 100.0)
129.0ms
(* n (+ (* (* k 2.0) x) n))
54.0ms
(* (* x x) (+ 4.0 (* k k)))

series406.0ms

Counts
3 → 9
Calls
3 calls:
181.0ms
(- (+ (* n (+ (* (* k 2.0) x) n)) (* (* x x) (+ 4.0 (* k k)))) 100.0)
104.0ms
(* n (+ (* (* k 2.0) x) n))
121.0ms
(* (* x x) (+ 4.0 (* k k)))

simplify3.5s

Counts
70 → 70
Iterations
IterNodes
done5000
23090
1448
0137

prune649.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 5.8b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* n (+ (* (* k 2.0) x) n)) (+ (* (* x x) 4.0) (* (* x x) (* k k)))) 100.0)
0.0b
(* (* x x) 4.0)
0.1b
(* n (+ (* (* k 2.0) x) n))
14.8b
(* (* x x) (* k k))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
39×pow1
23×add-cbrt-cube add-exp-log
18×pow-prod-down
13×add-log-exp
12×add-sqr-sqrt prod-exp cbrt-unprod
*-un-lft-identity
associate-*r* add-cube-cbrt
associate-*l*
pow-plus pow-prod-up
sum-log diff-log *-commutative unswap-sqr
pow2 associate-*r/ pow-sqr
distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip3-- associate--l+ flip-+ flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 87
Calls
4 calls:
1.0s
(- (+ (* n (+ (* (* k 2.0) x) n)) (+ (* (* x x) 4.0) (* (* x x) (* k k)))) 100.0)
35.0ms
(* (* x x) 4.0)
120.0ms
(* n (+ (* (* k 2.0) x) n))
67.0ms
(* (* x x) (* k k))

series412.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(- (+ (* n (+ (* (* k 2.0) x) n)) (+ (* (* x x) 4.0) (* (* x x) (* k k)))) 100.0)
53.0ms
(* (* x x) 4.0)
114.0ms
(* n (+ (* (* k 2.0) x) n))
63.0ms
(* (* x x) (* k k))

simplify3.6s

Counts
99 → 99
Iterations
IterNodes
done5000
23145
1479
0154

prune777.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes338.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done25
125
017

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.2s17072×body80valid