Details

Time bar (total: 1.6m)

sample91.0ms

Algorithm
intervals
Results
52.0ms296×body80valid
14.0ms107×body80nan

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
44670
3592
295
138
017

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.9b

localize35.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1 (/ (/ M (/ d D)) (/ (/ l h) (/ (/ M (/ d D)) 4)))))
7.0b
(/ M (/ d D))
7.0b
(/ M (/ d D))
10.4b
(/ (/ l h) (/ (/ M (/ d D)) 4))

rewrite8.6s

Algorithm
rewrite-expression-head
Rules
8023×times-frac
3485×add-sqr-sqrt
3178×*-un-lft-identity
3148×add-cube-cbrt
330×div-inv
162×associate-/r*
60×sqrt-prod
56×difference-of-squares
46×add-cbrt-cube add-exp-log
45×associate-/r/
30×cbrt-undiv div-exp
19×associate-/l*
5×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip-- distribute-lft-out-- associate-/l/
Counts
4 → 2161
Calls
4 calls:
8.3s
(sqrt (- 1 (/ (/ M (/ d D)) (/ (/ l h) (/ (/ M (/ d D)) 4)))))
11.0ms
(/ M (/ d D))
12.0ms
(/ M (/ d D))
44.0ms
(/ (/ l h) (/ (/ M (/ d D)) 4))

series426.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(sqrt (- 1 (/ (/ M (/ d D)) (/ (/ l h) (/ (/ M (/ d D)) 4)))))
35.0ms
(/ M (/ d D))
46.0ms
(/ M (/ d D))
118.0ms
(/ (/ l h) (/ (/ M (/ d D)) 4))

simplify10.0s

Counts
2173 → 2173
Iterations
IterNodes
114266
04156

prune41.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 6.6b

localize69.0ms

Local error

Found 4 expressions with local error:

7.0b
(/ M (/ d D))
18.4b
(cbrt (/ M (/ d D)))
18.4b
(cbrt (/ M (/ d D)))
18.4b
(cbrt (/ M (/ d D)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
273×times-frac
151×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
132×cbrt-prod
17×div-inv
13×associate-/r*
9×add-cbrt-cube add-exp-log
4×pow1 associate-/r/ insert-posit16 add-log-exp
3×cbrt-undiv cbrt-div pow1/3 div-exp associate-/l*
1×clear-num frac-2neg
Counts
4 → 233
Calls
4 calls:
11.0ms
(/ M (/ d D))
4.0ms
(cbrt (/ M (/ d D)))
4.0ms
(cbrt (/ M (/ d D)))
4.0ms
(cbrt (/ M (/ d D)))

series398.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ M (/ d D))
121.0ms
(cbrt (/ M (/ d D)))
129.0ms
(cbrt (/ M (/ d D)))
108.0ms
(cbrt (/ M (/ d D)))

simplify1.6s

Counts
245 → 245
Iterations
IterNodes
33590
21203
1500
0261

prune5.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 6.6b

localize108.0ms

Local error

Found 4 expressions with local error:

15.0b
(cbrt (/ d D))
18.4b
(cbrt (/ M (/ d D)))
18.4b
(cbrt (/ M (/ d D)))
18.4b
(cbrt (/ (/ M (* (cbrt (/ d D)) (cbrt (/ d D)))) (cbrt (/ d D))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
439×times-frac
396×cbrt-prod
194×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
69×cbrt-div
51×associate-/r/
36×div-inv
16×frac-times associate-*l/ associate-*r/
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 306
Calls
4 calls:
1.0ms
(cbrt (/ d D))
2.0ms
(cbrt (/ M (/ d D)))
2.0ms
(cbrt (/ M (/ d D)))
8.0ms
(cbrt (/ (/ M (* (cbrt (/ d D)) (cbrt (/ d D)))) (cbrt (/ d D))))

series480.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(cbrt (/ d D))
132.0ms
(cbrt (/ M (/ d D)))
118.0ms
(cbrt (/ M (/ d D)))
161.0ms
(cbrt (/ (/ M (* (cbrt (/ d D)) (cbrt (/ d D)))) (cbrt (/ d D))))

simplify1.1s

Counts
318 → 318
Iterations
IterNodes
22452
11343
0824

prune8.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 6.6b

localize54.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ (* (cbrt l) (cbrt l)) (/ M (/ d D)))
5.6b
(* (/ (* (cbrt l) (cbrt l)) (/ M (/ d D))) (/ (/ (cbrt l) h) 1/4))
7.0b
(/ M (/ d D))
7.0b
(/ M (/ d D))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
600×times-frac
320×add-sqr-sqrt
256×*-un-lft-identity add-cube-cbrt
143×add-exp-log
112×add-cbrt-cube
75×cbrt-undiv div-exp
70×associate-/r* associate-*r*
49×associate-*l*
33×prod-exp cbrt-unprod
31×cbrt-prod
28×div-inv
16×unswap-sqr
7×associate-/r/ associate-/l*
6×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 445
Calls
4 calls:
28.0ms
(/ (* (cbrt l) (cbrt l)) (/ M (/ d D)))
53.0ms
(* (/ (* (cbrt l) (cbrt l)) (/ M (/ d D))) (/ (/ (cbrt l) h) 1/4))
6.0ms
(/ M (/ d D))
10.0ms
(/ M (/ d D))

series520.0ms

Counts
4 → 12
Calls
4 calls:
294.0ms
(/ (* (cbrt l) (cbrt l)) (/ M (/ d D)))
164.0ms
(* (/ (* (cbrt l) (cbrt l)) (/ M (/ d D))) (/ (/ (cbrt l) h) 1/4))
32.0ms
(/ M (/ d D))
29.0ms
(/ M (/ d D))

simplify870.0ms

Counts
457 → 457
Iterations
IterNodes
12200
0634

prune8.8s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 6.6b

regimes799.0ms

Accuracy

0% (0.5b remaining)

Error of 7.7b against oracle of 7.1b and baseline of 7.7b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
230
130
026

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.9s9345×body80valid
667.0ms3139×body80nan