Details

Time bar (total: 31.1s)

sample89.0ms

Algorithm
intervals
Results
43.0ms298×body80valid
6.0ms75×body80nan

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5001
52638
4446
3177
281
136
017

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize21.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1.0 (/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)))
4.4b
(* h (pow (/ (* M D) (* 2.0 d)) 2.0))
4.5b
(/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)
7.0b
(/ (* M D) (* 2.0 d))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
67×add-exp-log
26×prod-exp
23×add-cbrt-cube
20×div-exp
18×add-sqr-sqrt
12×*-un-lft-identity
10×pow-exp add-cube-cbrt
9×associate-*r*
6×cbrt-undiv unpow-prod-down cbrt-unprod
5×pow1 times-frac sqrt-prod
4×associate-/r* add-log-exp
3×associate-*l* div-inv unswap-sqr
2×pow-to-exp clear-num frac-2neg sqrt-div associate-/l* sqr-pow
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 *-commutative flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 96
Calls
4 calls:
10.0ms
(sqrt (- 1.0 (/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)))
30.0ms
(* h (pow (/ (* M D) (* 2.0 d)) 2.0))
31.0ms
(/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)
10.0ms
(/ (* M D) (* 2.0 d))

series2.3s

Counts
4 → 12
Calls
4 calls:
382.0ms
(sqrt (- 1.0 (/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)))
1.1s
(* h (pow (/ (* M D) (* 2.0 d)) 2.0))
823.0ms
(/ (* h (pow (/ (* M D) (* 2.0 d)) 2.0)) l)
36.0ms
(/ (* M D) (* 2.0 d))

simplify1.9s

Counts
108 → 108
Iterations
IterNodes
done5000
22624
1551
0222

prune694.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 8.5b

localize68.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1.0 (/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)))
4.5b
(/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)
7.0b
(/ (* M D) (* 2.0 d))
7.0b
(/ (/ M (/ 2.0 D)) d)

rewrite305.0ms

Algorithm
rewrite-expression-head
Rules
400×times-frac
300×add-exp-log
195×add-sqr-sqrt
194×*-un-lft-identity
192×add-cube-cbrt
130×div-exp
123×prod-exp
63×pow-exp
46×associate-/l*
34×add-cbrt-cube
19×div-inv
14×pow-to-exp
13×cbrt-undiv
7×associate-/r* cbrt-unprod
5×pow1 sqrt-prod
4×associate-/r/ add-log-exp
3×clear-num frac-2neg
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip-- distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 304
Calls
4 calls:
15.0ms
(sqrt (- 1.0 (/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)))
226.0ms
(/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)
10.0ms
(/ (* M D) (* 2.0 d))
28.0ms
(/ (/ M (/ 2.0 D)) d)

series1.4s

Counts
4 → 12
Calls
4 calls:
443.0ms
(sqrt (- 1.0 (/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)))
827.0ms
(/ (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) l)
55.0ms
(/ (* M D) (* 2.0 d))
54.0ms
(/ (/ M (/ 2.0 D)) d)

simplify823.0ms

Counts
316 → 316
Iterations
IterNodes
done5001
11918
0689

prune3.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 7.8b

localize81.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1.0 (* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))))
4.5b
(* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))
7.0b
(/ (* M D) (* 2.0 d))
7.0b
(/ (/ M (/ 2.0 D)) d)

rewrite872.0ms

Algorithm
rewrite-expression-head
Rules
1175×add-exp-log
680×prod-exp
406×times-frac
390×div-exp
252×pow-exp
198×add-sqr-sqrt
197×*-un-lft-identity add-cube-cbrt
56×pow-to-exp
50×rec-exp 1-exp
46×add-cbrt-cube
45×associate-/l*
19×div-inv
16×cbrt-unprod
13×cbrt-undiv associate-*r*
7×pow1
4×associate-/r* associate-/r/ add-log-exp
3×sqrt-prod
2×clear-num frac-2neg sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l* pow-prod-down associate-*r/ un-div-inv *-commutative flip-- associate-/l/
Counts
4 → 463
Calls
4 calls:
4.0ms
(sqrt (- 1.0 (* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))))
792.0ms
(* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))
10.0ms
(/ (* M D) (* 2.0 d))
21.0ms
(/ (/ M (/ 2.0 D)) d)

series1.4s

Counts
4 → 12
Calls
4 calls:
381.0ms
(sqrt (- 1.0 (* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))))
883.0ms
(* (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (pow (/ (* M D) (* 2.0 d)) (/ 2.0 2))) (/ 1 l))
66.0ms
(/ (* M D) (* 2.0 d))
49.0ms
(/ (/ M (/ 2.0 D)) d)

simplify1.2s

Counts
475 → 475
Iterations
IterNodes
done5000
12579
0823

prune3.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 7.3b

localize58.0ms

Local error

Found 4 expressions with local error:

3.9b
(* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2)))
4.0b
(sqrt (- 1.0 (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (/ (pow (/ (/ (* D M) 2.0) d) (/ 2.0 2)) l))))
7.0b
(/ (/ (* D M) 2.0) d)
7.0b
(/ (/ M (/ 2.0 D)) d)

rewrite344.0ms

Algorithm
rewrite-expression-head
Rules
765×times-frac
376×add-sqr-sqrt
358×*-un-lft-identity add-cube-cbrt
140×unpow-prod-down associate-*r*
51×associate-/l*
39×add-exp-log
35×div-inv
24×add-cbrt-cube
17×div-exp
11×cbrt-undiv
7×prod-exp associate-/r/
6×associate-/r* unswap-sqr
5×pow1
4×pow-exp add-log-exp
3×associate-*l* sqrt-prod
2×clear-num frac-2neg sqrt-div cbrt-unprod sqr-pow associate-/l/
1×pow-to-exp rem-sqrt-square sqrt-pow1 flip3-- pow1/2 *-commutative flip--
Counts
4 → 423
Calls
4 calls:
235.0ms
(* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2)))
9.0ms
(sqrt (- 1.0 (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (/ (pow (/ (/ (* D M) 2.0) d) (/ 2.0 2)) l))))
22.0ms
(/ (/ (* D M) 2.0) d)
37.0ms
(/ (/ M (/ 2.0 D)) d)

series1.8s

Counts
4 → 12
Calls
4 calls:
1.3s
(* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2)))
455.0ms
(sqrt (- 1.0 (* (* h (pow (/ (/ M (/ 2.0 D)) d) (/ 2.0 2))) (/ (pow (/ (/ (* D M) 2.0) d) (/ 2.0 2)) l))))
57.0ms
(/ (/ (* D M) 2.0) d)
36.0ms
(/ (/ M (/ 2.0 D)) d)

simplify1.3s

Counts
435 → 435
Iterations
IterNodes
done5001
12371
0909

prune4.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 7.3b

regimes744.0ms

Accuracy

0% (1.9b remaining)

Error of 8.7b against oracle of 6.9b and baseline of 8.7b

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done33
133
026

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.2s9334×body80valid
753.0ms3069×body80nan