Details

Time bar (total: 58.1s)

sample79.0ms

Algorithm
intervals
Results
32.0ms284×body80valid
10.0ms88×body80nan

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5000
3592
295
138
017

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.4b

localize27.0ms

Local error

Found 4 expressions with local error:

4.2b
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
5.1b
(/ d (/ (* M D) 2))
5.1b
(/ d (/ (* M D) 2))
10.6b
(/ (/ h l) (/ d (/ (* M D) 2)))

rewrite7.7s

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:
7.6s
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
17.0ms
(/ d (/ (* M D) 2))
12.0ms
(/ d (/ (* M D) 2))
33.0ms
(/ (/ h l) (/ d (/ (* M D) 2)))

series453.0ms

Counts
4 → 12
Calls
4 calls:
273.0ms
(sqrt (- 1 (/ (/ (/ h l) (/ d (/ (* M D) 2))) (/ d (/ (* M D) 2)))))
38.0ms
(/ d (/ (* M D) 2))
38.0ms
(/ d (/ (* M D) 2))
104.0ms
(/ (/ h l) (/ d (/ (* M D) 2)))

simplify2.5s

Counts
555 → 555
Iterations
IterNodes
done5001
13160
0989

prune4.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 8.2b

localize68.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ d (/ (* M D) 2))
16.1b
(cbrt (/ (* M D) 2))
16.1b
(cbrt (/ (* M D) 2))
16.1b
(cbrt (/ (* M D) 2))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×cbrt-prod
13×add-cbrt-cube add-exp-log
8×div-inv
7×associate-/r*
5×cbrt-undiv div-exp
4×pow1 insert-posit16 add-log-exp
3×cbrt-div pow1/3 associate-/l*
1×clear-num frac-2neg prod-exp associate-/r/ cbrt-unprod
Counts
4 → 100
Calls
4 calls:
16.0ms
(/ d (/ (* M D) 2))
7.0ms
(cbrt (/ (* M D) 2))
6.0ms
(cbrt (/ (* M D) 2))
3.0ms
(cbrt (/ (* M D) 2))

series502.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ d (/ (* M D) 2))
134.0ms
(cbrt (/ (* M D) 2))
155.0ms
(cbrt (/ (* M D) 2))
171.0ms
(cbrt (/ (* M D) 2))

simplify1.3s

Counts
112 → 112
Iterations
IterNodes
done5005
21363
1383
0157

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 8.2b

localize41.0ms

Local error

Found 4 expressions with local error:

4.2b
(sqrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
5.1b
(/ d (/ (* M D) 2))
6.0b
(/ (/ 1 l) (/ 1 (/ (* M D) 2)))
8.3b
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

rewrite482.0ms

Algorithm
rewrite-expression-head
Rules
2057×times-frac
862×add-sqr-sqrt
793×*-un-lft-identity
778×add-cube-cbrt
552×add-exp-log
370×div-exp
343×associate-*r*
169×div-inv
138×add-cbrt-cube
119×prod-exp
80×cbrt-undiv
66×rec-exp 1-exp
33×associate-/r*
30×associate-/r/
25×cbrt-unprod
20×unswap-sqr
16×associate-/l*
13×associate-*l*
7×pow1
6×sqrt-prod
4×insert-posit16 add-log-exp
2×clear-num frac-2neg sqrt-div difference-of-squares
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative flip-- distribute-lft-out-- associate-/l/
Counts
4 → 995
Calls
4 calls:
91.0ms
(sqrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
9.0ms
(/ d (/ (* M D) 2))
43.0ms
(/ (/ 1 l) (/ 1 (/ (* M D) 2)))
214.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
361.0ms
(sqrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
57.0ms
(/ d (/ (* M D) 2))
50.0ms
(/ (/ 1 l) (/ 1 (/ (* M D) 2)))
113.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

simplify2.6s

Counts
1007 → 1007
Iterations
IterNodes
done5000
01343

prune7.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 8.2b

localize76.0ms

Local error

Found 4 expressions with local error:

6.3b
(cbrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
8.3b
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
8.3b
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
8.3b
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

rewrite906.0ms

Algorithm
rewrite-expression-head
Rules
3069×times-frac
1364×add-sqr-sqrt
1207×add-exp-log
1160×*-un-lft-identity
1121×add-cube-cbrt
1029×associate-*r*
771×div-exp
318×prod-exp
283×add-cbrt-cube
240×div-inv
159×cbrt-undiv
132×rec-exp 1-exp
66×cbrt-unprod
60×unswap-sqr
42×associate-/r/
39×associate-*l*
10×pow1
6×cbrt-prod
4×insert-posit16 add-log-exp
3×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
2×cbrt-div difference-of-squares
1×flip3-- pow1/3 flip-- distribute-lft-out--
Counts
4 → 1484
Calls
4 calls:
46.0ms
(cbrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
247.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
189.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
243.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

series940.0ms

Counts
4 → 12
Calls
4 calls:
568.0ms
(cbrt (- 1 (/ (* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2)))) (/ d (/ (* M D) 2)))))
124.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
106.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))
142.0ms
(* (/ h d) (/ (/ 1 l) (/ 1 (/ (* M D) 2))))

simplify4.7s

Counts
1496 → 1496
Iterations
IterNodes
done5001
13773
01000

prune14.5s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 8.2b

regimes2.9s

Accuracy

0% (0.8b remaining)

Error of 8.3b against oracle of 7.5b and baseline of 8.3b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done30
130
025

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s9252×body80valid
771.0ms3150×body80nan