Details

Time bar (total: 46.1s)

sample57.0ms

Algorithm
intervals
Results
32.0ms376×body80valid
10.0ms129×body80nan

simplify8.7s

Counts
1 → 1
Iterations
IterNodes
77970
61954
5624
4202
385
245
124
012

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* k (+ k 10)) 1)
0.0b
(* (pow k m) a)
0.0b
(* k (+ k 10))
0.9b
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
18×add-sqr-sqrt
13×*-un-lft-identity add-cbrt-cube
11×add-cube-cbrt
10×associate-*l*
7×associate-*r* prod-exp
6×pow1 add-log-exp
4×unpow-prod-down div-exp insert-posit16 unswap-sqr
3×associate-/r* flip3-+ times-frac cbrt-unprod flip-+
2×distribute-rgt-in pow-to-exp cbrt-undiv associate-+l+ distribute-lft-in pow-exp associate-*r/ associate-/r/ *-commutative sqr-pow
1×+-commutative clear-num sum-log frac-2neg pow-prod-down div-inv distribute-lft-out associate-/l*
Counts
4 → 90
Calls
4 calls:
16.0ms
(+ (* k (+ k 10)) 1)
15.0ms
(* (pow k m) a)
24.0ms
(* k (+ k 10))
42.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

series751.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(+ (* k (+ k 10)) 1)
147.0ms
(* (pow k m) a)
57.0ms
(* k (+ k 10))
518.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

simplify5.4s

Counts
102 → 102
Iterations
IterNodes
38537
21540
1465
0178

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow k m) a)
0.0b
(* k (+ k 10))
0.3b
(/ 1 (+ (* k (+ k 10)) 1))
0.9b
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
32×prod-exp
31×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
22×add-cbrt-cube associate-*r*
18×times-frac
11×associate-*l*
10×div-exp
9×pow1
8×cbrt-unprod
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down associate-/r/ insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv associate-/r* flip3-+ associate-*r/ *-commutative flip-+ associate-/l*
2×pow-prod-down div-inv sqr-pow
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in un-div-inv pow-flip distribute-lft-out inv-pow
Counts
4 → 132
Calls
4 calls:
18.0ms
(* (pow k m) a)
27.0ms
(* k (+ k 10))
32.0ms
(/ 1 (+ (* k (+ k 10)) 1))
63.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))

series347.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(* (pow k m) a)
53.0ms
(* k (+ k 10))
35.0ms
(/ 1 (+ (* k (+ k 10)) 1))
118.0ms
(* (* (pow k m) a) (/ 1 (+ (* k (+ k 10)) 1)))

simplify11.2s

Counts
144 → 144
Iterations
IterNodes
37595
21862
1613
0227

prune1.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
0.9b
(/ (* (* (pow k m) (* (cbrt a) (cbrt a))) (cbrt a)) (+ (* k (+ k 10)) 1))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log
16×prod-exp
13×add-cbrt-cube
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×div-exp
6×cbrt-unprod
4×pow1 cbrt-undiv insert-posit16 add-log-exp
3×associate-/r* times-frac pow1/3
2×pow-to-exp pow-exp associate-/r/
1×clear-num frac-2neg flip3-+ flip-+ div-inv associate-/l*
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
75.0ms
(/ (* (* (pow k m) (* (cbrt a) (cbrt a))) (cbrt a)) (+ (* k (+ k 10)) 1))

series1.5s

Counts
4 → 12
Calls
4 calls:
297.0ms
(cbrt a)
674.0ms
(cbrt a)
305.0ms
(cbrt a)
174.0ms
(/ (* (* (pow k m) (* (cbrt a) (cbrt a))) (cbrt a)) (+ (* k (+ k 10)) 1))

simplify5.3s

Counts
80 → 80
Iterations
IterNodes
310689
21649
1447
0151

prune941.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1))
0.1b
(* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))
0.9b
(/ (* (pow k m) a) (cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
9.6b
(cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))

rewrite415.0ms

Algorithm
rewrite-expression-head
Rules
88×frac-times
87×flip3-+ flip-+
52×cbrt-div
44×associate-*l/
30×pow1
26×associate-*r/ associate-/r/
21×add-exp-log
14×add-sqr-sqrt add-cbrt-cube
11×*-un-lft-identity add-cube-cbrt
7×pow-plus prod-exp pow-prod-up
6×associate-*r*
5×cbrt-unprod
4×associate-/r* times-frac div-exp associate-*l* pow-prod-down insert-posit16 add-log-exp
3×cbrt-prod pow2 swap-sqr pow-sqr
2×distribute-rgt-in cbrt-undiv distribute-lft-in pow3 *-commutative unswap-sqr
1×pow-to-exp clear-num frac-2neg pow1/3 pow-exp rem-cbrt-cube div-inv associate-/l*
Counts
4 → 182
Calls
4 calls:
88.0ms
(* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1))
165.0ms
(* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))
67.0ms
(/ (* (pow k m) a) (cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
89.0ms
(cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))

series256.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1))
36.0ms
(* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))
155.0ms
(/ (* (pow k m) a) (cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1))))
32.0ms
(cbrt (* (* (+ (* k (+ k 10)) 1) (+ (* k (+ k 10)) 1)) (+ (* k (+ k 10)) 1)))

simplify1.8s

Counts
194 → 194
Iterations
IterNodes
23415
1932
0298

prune2.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes141.0ms

Accuracy

0% (2.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
217
117
012

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.1s11978×body80valid
586.0ms4220×body80nan