Details

Time bar (total: 38.7s)

sample149.0ms

Algorithm
intervals
Results
58.0ms256×body80valid
33.0ms273×body80nan

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5003
41440
3365
2102
150
028

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))
0.3b
(/ (/ 2.0 t) 3.0)
0.6b
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (/ (sqrt (+ a t)) (/ t z)))
5.7b
(/ (sqrt (+ a t)) (/ t z))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
548×times-frac
469×add-sqr-sqrt
406×*-un-lft-identity
347×add-cube-cbrt
220×prod-diff
131×associate--r+
56×sqrt-prod
41×difference-of-squares
34×div-inv
20×associate-/l*
16×associate-/r* distribute-lft-out--
14×add-cbrt-cube add-exp-log distribute-lft-out
13×fma-neg
9×add-log-exp
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 log1p-expm1-u
3×diff-log associate-/l/
2×clear-num sub-neg frac-2neg flip3-- sqrt-div frac-sub flip--
1×flip3-+ associate-/r/ flip-+ fma-udef associate--r-
Counts
4 → 469
Calls
4 calls:
174.0ms
(- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))
20.0ms
(/ (/ 2.0 t) 3.0)
0.0ms
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (/ (sqrt (+ a t)) (/ t z)))
20.0ms
(/ (sqrt (+ a t)) (/ t z))

series692.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a))
27.0ms
(/ (/ 2.0 t) 3.0)
536.0ms
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (/ (sqrt (+ a t)) (/ t z)))
100.0ms
(/ (sqrt (+ a t)) (/ t z))

simplify2.9s

Counts
481 → 481
Iterations
IterNodes
done5000
24843
12147
0870

prune6.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (* (* (cbrt z) (cbrt z)) (/ (sqrt (+ a t)) (/ t (cbrt z)))))
3.8b
(/ (sqrt (+ a t)) (/ t (cbrt z)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
298×times-frac
202×*-un-lft-identity
156×add-sqr-sqrt add-cube-cbrt
92×sqrt-prod
78×cbrt-prod
23×distribute-lft-out
22×associate-/r*
9×add-exp-log div-inv
8×add-cbrt-cube
7×associate-/l*
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×pow1/3 sqrt-div associate-/l/
1×clear-num frac-2neg flip3-+ associate-/r/ flip-+ fma-udef
Counts
4 → 238
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
0.0ms
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (* (* (cbrt z) (cbrt z)) (/ (sqrt (+ a t)) (/ t (cbrt z)))))
26.0ms
(/ (sqrt (+ a t)) (/ t (cbrt z)))

series1.1s

Counts
4 → 12
Calls
4 calls:
250.0ms
(cbrt z)
274.0ms
(cbrt z)
283.0ms
(fma (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)) (* (* (cbrt z) (cbrt z)) (/ (sqrt (+ a t)) (/ t (cbrt z)))))
251.0ms
(/ (sqrt (+ a t)) (/ t (cbrt z)))

simplify2.2s

Counts
250 → 250
Iterations
IterNodes
done5000
22713
1976
0381

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)
0.0b
(exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t))))))
0.2b
(* 0.6666666666666666 (- (/ b t) (/ c t)))
1.3b
(- (/ b t) (/ c t))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
731×times-frac
589×add-sqr-sqrt
579×*-un-lft-identity
563×add-cube-cbrt
507×prod-diff
172×distribute-rgt-in distribute-lft-in
83×div-inv
13×fma-neg
12×associate-*r*
8×distribute-lft-out-- add-log-exp difference-of-squares
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×sub-neg associate-*l* fma-udef
2×flip3-- distribute-rgt-out-- exp-sum frac-sub flip-- sub-div
1×exp-prod exp-to-pow diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 606
Calls
4 calls:
0.0ms
(fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)
3.0ms
(exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t))))))
164.0ms
(* 0.6666666666666666 (- (/ b t) (/ c t)))
55.0ms
(- (/ b t) (/ c t))

series322.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)
62.0ms
(exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t))))))
73.0ms
(* 0.6666666666666666 (- (/ b t) (/ c t)))
43.0ms
(- (/ b t) (/ c t))

simplify3.4s

Counts
618 → 618
Iterations
IterNodes
done5002
23540
11460
0803

prune4.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize97.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (/ b t) (/ c t))
1.3b
(- (/ b t) (/ c t))
1.3b
(- (/ b t) (/ c t))
26.7b
(cbrt (* (* (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
759×times-frac
613×add-sqr-sqrt
601×*-un-lft-identity
577×add-cube-cbrt
507×prod-diff
87×div-inv
39×fma-neg
12×distribute-lft-out-- difference-of-squares
10×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u
3×sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- sub-div
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 633
Calls
4 calls:
28.0ms
(- (/ b t) (/ c t))
39.0ms
(- (/ b t) (/ c t))
59.0ms
(- (/ b t) (/ c t))
21.0ms
(cbrt (* (* (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)))

series282.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (/ b t) (/ c t))
42.0ms
(- (/ b t) (/ c t))
44.0ms
(- (/ b t) (/ c t))
154.0ms
(cbrt (* (* (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)) (fma y (exp (* 2.0 (fma 0.8333333333333334 c (* 0.6666666666666666 (- (/ b t) (/ c t)))))) x)))

simplify2.5s

Counts
645 → 645
Iterations
IterNodes
done5000
21781
1790
0353

prune5.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes702.0ms

Accuracy

0% (1.3b remaining)

Error of 1.7b against oracle of 0.4b and baseline of 1.7b

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
done32
132
029

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.7s7854×body80nan
1.3s8000×body80valid