Details

Time bar (total: 43.1s)

sample220.0ms

Algorithm
intervals
Results
98.0ms256×body80valid
68.0ms263×body80nan

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
55022
41334
3350
2100
150
028

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize83.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (sqrt (+ t a)))
0.2b
(/ 2.0 (* t 3.0))
1.8b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
7.1b
(/ (* z (sqrt (+ t a))) t)

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
16×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
9×flip3-- flip--
8×frac-times associate-*r/
7×associate-*r*
6×pow1 times-frac associate--r+ add-log-exp
5×flip3-+ sqrt-prod flip-+
4×cbrt-undiv associate-/r* sqrt-div div-exp insert-posit16 associate-/l*
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* prod-exp cbrt-unprod
2×clear-num frac-2neg associate-*l/ associate--l+ div-inv unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative distribute-lft-out
Counts
4 → 105
Calls
4 calls:
14.0ms
(* z (sqrt (+ t a)))
6.0ms
(/ 2.0 (* t 3.0))
46.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
19.0ms
(/ (* z (sqrt (+ t a))) t)

series558.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(* z (sqrt (+ t a)))
41.0ms
(/ 2.0 (* t 3.0))
278.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
122.0ms
(/ (* z (sqrt (+ t a))) t)

simplify2.3s

Counts
117 → 117
Iterations
IterNodes
24465
11033
0350

prune2.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ 2.0 t) 3.0)
0.9b
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))))
1.8b
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))
3.9b
(* (/ z t) (sqrt (+ a t)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac
70×frac-times frac-sub
67×add-sqr-sqrt
60×sqrt-div
59×*-un-lft-identity
57×add-cube-cbrt
45×flip3-+ flip-+
41×flip3-- flip--
40×associate-*r/
35×associate-*l/
30×frac-add
14×add-cbrt-cube add-exp-log
13×associate-*l* associate-/l*
7×pow1 associate-*r*
6×sqrt-prod div-inv add-log-exp
5×log-prod
4×cbrt-undiv sub-neg div-exp log-pow insert-posit16 associate--r+ unswap-sqr
3×exp-prod associate-/r*
2×distribute-rgt-in distribute-lft-in exp-sum prod-exp cbrt-unprod
1×log-div clear-num frac-2neg exp-diff diff-log rem-log-exp pow-prod-down *-commutative distribute-lft-out associate-/l/
Counts
4 → 220
Calls
4 calls:
7.0ms
(/ (/ 2.0 t) 3.0)
56.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))))
29.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))
19.0ms
(* (/ z t) (sqrt (+ a t)))

series691.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(/ (/ 2.0 t) 3.0)
276.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))))
270.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (/ (/ 2.0 t) 3.0))) (- b c)))
113.0ms
(* (/ z t) (sqrt (+ a t)))

simplify1.1s

Counts
232 → 232
Iterations
IterNodes
12231
0682

prune6.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize140.0ms

Local error

Found 4 expressions with local error:

0.9b
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))))
1.8b
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))
3.9b
(* (/ z t) (sqrt (+ a t)))
41.7b
(cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0)))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
75×frac-times
70×frac-sub
60×sqrt-div
45×flip3-+ flip-+
43×associate-*r/
41×flip3-- flip--
40×associate-*l/
30×frac-add
25×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
13×associate-*l*
11×times-frac
9×add-cbrt-cube add-exp-log
7×pow1 cbrt-div associate-*r*
6×sqrt-prod add-log-exp
5×log-prod
4×sub-neg log-pow insert-posit16 associate--r+ unswap-sqr
3×exp-prod
2×distribute-rgt-in distribute-lft-in exp-sum prod-exp cbrt-unprod
1×cbrt-prod cbrt-undiv log-div exp-diff pow1/3 diff-log div-exp rem-log-exp pow3 pow-prod-down *-commutative rem-cbrt-cube div-inv distribute-lft-out
Counts
4 → 167
Calls
4 calls:
27.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))))
19.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))
19.0ms
(* (/ z t) (sqrt (+ a t)))
41.0ms
(cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
479.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))))
472.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0))))) (- b c)))
115.0ms
(* (/ z t) (sqrt (+ a t)))
73.0ms
(cbrt (* (* (/ (/ 2.0 t) 3.0) (/ (/ 2.0 t) 3.0)) (/ (/ 2.0 t) 3.0)))

simplify1.3s

Counts
179 → 179
Iterations
IterNodes
12002
0585

prune5.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize128.0ms

Local error

Found 4 expressions with local error:

0.9b
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))))
1.8b
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))
3.9b
(* (/ z t) (sqrt (+ a t)))
60.3b
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
70×frac-times frac-sub
60×sqrt-div
45×flip3-+ flip-+
41×flip3-- flip--
40×associate-*r/
35×associate-*l/
30×frac-add
25×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
13×associate-*l*
11×times-frac
9×add-cbrt-cube add-exp-log
7×pow1 associate-*r*
6×sqrt-prod add-log-exp
5×log-prod
4×sub-neg log-pow insert-posit16 associate--r+ unswap-sqr
3×exp-prod
2×distribute-rgt-in distribute-lft-in exp-sum prod-exp cbrt-unprod
1×cbrt-undiv log-div exp-diff diff-log div-exp rem-log-exp pow-prod-down *-commutative div-inv remove-posit16 distribute-lft-out
Counts
4 → 158
Calls
4 calls:
44.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))))
39.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))
37.0ms
(* (/ z t) (sqrt (+ a t)))
1.0ms
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))

series651.0ms

Counts
4 → 12
Calls
4 calls:
264.0ms
(log (exp (- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))))
259.0ms
(- (* (/ z t) (sqrt (+ a t))) (* (+ (/ 5.0 6.0) (- a (posit16->real (real->posit16 (/ (/ 2.0 t) 3.0))))) (- b c)))
104.0ms
(* (/ z t) (sqrt (+ a t)))
23.0ms
(posit16->real (real->posit16 (/ (/ 2.0 t) 3.0)))

simplify4.4s

Counts
170 → 170
Iterations
IterNodes
210319
11939
0554

prune6.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes814.0ms

Accuracy

26.7% (3.7b remaining)

Error of 4.2b against oracle of 0.5b and baseline of 5.6b

bsearch237.0ms

Steps
ItersRangePoint
9
4.226149334715726e-114
2.1651623311396504e-105
1.0333984294579716e-111

simplify19.0ms

Iterations
IterNodes
265
165
052

end0.0ms

sample5.6s

Algorithm
intervals
Results
2.6s8000×body80valid
2.0s8074×body80nan