Details

Time bar (total: 34.4s)

sample84.0ms

Algorithm
intervals
Results
36.0ms289×body80valid
13.0ms96×body80nan

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5000
3592
295
138
017

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.9b

localize28.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ d (/ (* M D) 2))
5.2b
(/ d (/ (* M D) 2))
6.6b
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
11.0b
(/ (/ h l) (/ d (/ (* M D) 2)))

rewrite7.5s

Algorithm
rewrite-expression-head
Rules
1129×times-frac
518×add-sqr-sqrt
435×*-un-lft-identity
422×add-cube-cbrt
94×div-inv
54×add-cbrt-cube add-exp-log
40×associate-/r*
32×cbrt-undiv div-exp
26×sqrt-prod
22×difference-of-squares
19×associate-/l*
17×associate-/r/
5×pow1
4×prod-exp cbrt-unprod 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 → 543
Calls
4 calls:
11.0ms
(/ d (/ (* M D) 2))
9.0ms
(/ d (/ (* M D) 2))
7.4s
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
25.0ms
(/ (/ h l) (/ d (/ (* M D) 2)))

series426.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ d (/ (* M D) 2))
43.0ms
(/ d (/ (* M D) 2))
250.0ms
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
83.0ms
(/ (/ h l) (/ d (/ (* M D) 2)))

simplify2.5s

Counts
555 → 555
Iterations
IterNodes
done5000
13158
0989

prune5.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 9.3b

localize37.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ d (* M D))
5.2b
(/ d (/ (* M D) 2))
5.7b
(/ h (/ d (* M D)))
6.6b
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ d (/ (* M D) 2)))))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
69×times-frac
43×add-sqr-sqrt
42×*-un-lft-identity
39×add-cube-cbrt
27×add-cbrt-cube add-exp-log
15×associate-/r*
12×cbrt-undiv div-exp
11×div-inv
9×associate-/l*
6×sqrt-prod
5×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod
2×sqrt-div associate-/r/ difference-of-squares
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip-- distribute-lft-out--
Counts
4 → 139
Calls
4 calls:
16.0ms
(/ d (* M D))
19.0ms
(/ d (/ (* M D) 2))
17.0ms
(/ h (/ d (* M D)))
71.0ms
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ d (/ (* M D) 2)))))

series434.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ d (* M D))
44.0ms
(/ d (/ (* M D) 2))
50.0ms
(/ h (/ d (* M D)))
300.0ms
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ d (/ (* M D) 2)))))

simplify1.7s

Counts
151 → 151
Iterations
IterNodes
done5004
22263
1632
0259

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 9.3b

localize75.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ d (* M D))
5.5b
(/ (/ (* M D) 2) d)
5.7b
(/ h (/ d (* M D)))
6.6b
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ 1 (/ (/ (* M D) 2) d)))))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
69×times-frac
43×add-sqr-sqrt
42×*-un-lft-identity
39×add-cube-cbrt
27×add-cbrt-cube add-exp-log
13×associate-/l*
12×cbrt-undiv div-exp
11×associate-/r* div-inv
6×sqrt-prod
5×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod
2×sqrt-div difference-of-squares
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip-- distribute-lft-out-- associate-/l/
Counts
4 → 139
Calls
4 calls:
15.0ms
(/ d (* M D))
15.0ms
(/ (/ (* M D) 2) d)
11.0ms
(/ h (/ d (* M D)))
154.0ms
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ 1 (/ (/ (* M D) 2) d)))))

series469.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ d (* M D))
47.0ms
(/ (/ (* M D) 2) d)
65.0ms
(/ h (/ d (* M D)))
321.0ms
(sqrt (- 1 (/ (* (/ h (/ d (* M D))) (/ (/ 1 l) 2)) (/ 1 (/ (/ (* M D) 2) d)))))

simplify1.7s

Counts
151 → 151
Iterations
IterNodes
done5019
22270
1636
0262

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 9.3b

localize41.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ d (/ (* M D) 2))
5.2b
(/ d (/ (* M D) 2))
6.6b
(sqrt (- 1 (/ (* h (/ (/ 1 l) (/ d (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
9.3b
(* h (/ (/ 1 l) (/ d (/ (* M D) 2))))

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
1041×times-frac
432×add-sqr-sqrt
408×*-un-lft-identity
403×add-cube-cbrt
343×associate-*r*
100×add-exp-log
89×div-inv
64×add-cbrt-cube
54×div-exp
32×cbrt-undiv
23×prod-exp
16×associate-/r/
14×associate-/r*
13×cbrt-unprod
7×pow1 unswap-sqr
6×sqrt-prod associate-/l*
4×rec-exp 1-exp insert-posit16 add-log-exp
3×associate-*l*
2×clear-num frac-2neg sqrt-div difference-of-squares
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*r/ *-commutative flip-- distribute-lft-out--
Counts
4 → 507
Calls
4 calls:
10.0ms
(/ d (/ (* M D) 2))
9.0ms
(/ d (/ (* M D) 2))
65.0ms
(sqrt (- 1 (/ (* h (/ (/ 1 l) (/ d (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
199.0ms
(* h (/ (/ 1 l) (/ d (/ (* M D) 2))))

series373.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ d (/ (* M D) 2))
29.0ms
(/ d (/ (* M D) 2))
239.0ms
(sqrt (- 1 (/ (* h (/ (/ 1 l) (/ d (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
76.0ms
(* h (/ (/ 1 l) (/ d (/ (* M D) 2))))

simplify2.6s

Counts
519 → 519
Iterations
IterNodes
done5001
13041
0904

prune3.6s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 9.3b

regimes872.0ms

Accuracy

0% (0.6b remaining)

Error of 8.0b against oracle of 7.4b and baseline of 8.0b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done26
126
021

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.6s9320×body80valid
459.0ms3180×body80nan