Details

Time bar (total: 4.1m)

sample269.0ms

Algorithm
intervals
Results
125.0ms256×body80valid
87.0ms288×body80nan

simplify162.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
162.0ms
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize86.0ms

Local error

Found 4 expressions with local error:

5.1b
(/ (sqrt (+ a t)) (/ t z))
3.7b
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
0.3b
(/ 2.0 (* t 3.0))
0.1b
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
474×times-frac
355×*-un-lft-identity
272×add-sqr-sqrt
268×add-cube-cbrt
160×sqrt-prod
132×prod-diff
96×fma-neg
42×distribute-lft-out
26×div-inv
22×distribute-rgt-in distribute-lft-in associate--r+
17×flip3-- flip--
16×frac-times add-cbrt-cube add-exp-log
14×associate-/r* frac-sub
12×frac-add
10×associate-/l*
8×associate-*l/
7×flip3-+ flip-+
6×pow1 add-log-exp
5×cbrt-undiv sub-neg div-exp associate-*r* associate-*l*
4×expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u
3×associate-/r/
2×clear-num frac-2neg sqrt-div prod-exp cbrt-unprod distribute-lft-out-- associate-/l/
1×diff-log pow-prod-down *-commutative difference-of-squares unswap-sqr
Counts
4 → 459
Calls
4 calls:
Slowest
242.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
81.0ms
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
21.0ms
(/ (sqrt (+ a t)) (/ t z))
7.0ms
(/ 2.0 (* t 3.0))

series554.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
328.0ms
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
106.0ms
(/ (sqrt (+ a t)) (/ t z))
89.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
31.0ms
(/ 2.0 (* t 3.0))

simplify1.6m

Counts
625 → 471
Calls
625 calls:
Slowest
800.0ms
(fma (sqrt (/ (sqrt (+ a t)) (/ t z))) (sqrt (/ (sqrt (+ a t)) (/ t z))) (- (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)))))
766.0ms
(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
762.0ms
(- (* (sqrt (+ a t)) (* (* (+ a (/ 2.0 (* t 3.0))) 6.0) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t z) (* (+ (* (- (* a a) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) 6.0) (* (+ a (/ 2.0 (* t 3.0))) 5.0)) (- (pow b 3) (pow c 3)))))
727.0ms
(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
690.0ms
(* (+ (* (- a (/ 2.0 (* t 3.0))) (- a (/ 2.0 (* t 3.0)))) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)))) (+ (* b b) (+ (* c c) (* b c))))

prune11.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

2.9b
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(/ (sqrt (+ a t)) t)
0.1b
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
51×*-un-lft-identity
40×add-sqr-sqrt
36×add-cube-cbrt
24×times-frac
18×prod-diff
16×sqrt-prod
13×add-cbrt-cube add-exp-log
11×distribute-rgt-in distribute-lft-in
10×associate-/l*
8×frac-times flip3-- flip--
6×pow1 frac-add distribute-lft-out
5×associate-*r* associate-*l*
4×expm1-log1p-u associate-/r* flip3-+ associate-*l/ flip-+ insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×clear-num sub-neg frac-2neg sqrt-div prod-exp associate-*r/ cbrt-unprod div-inv distribute-lft-out-- associate-/l/
1×pow-prod-down *-commutative fma-udef difference-of-squares unswap-sqr
Counts
4 → 144
Calls
4 calls:
Slowest
190.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
11.0ms
(/ (sqrt (+ a t)) t)
9.0ms
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
6.0ms
(/ 2.0 (* t 3.0))

series644.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
406.0ms
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
113.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
104.0ms
(/ (sqrt (+ a t)) t)
21.0ms
(/ 2.0 (* t 3.0))

simplify15.2s

Counts
134 → 156
Calls
134 calls:
Slowest
689.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))))
607.0ms
(* (- (* (- a (/ 2.0 (* t 3.0))) (- a (/ 2.0 (* t 3.0)))) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- b c))
456.0ms
(* (* (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))) (* (* (- b c) (- b c)) (- b c)))
390.0ms
(* (+ (* (- (pow a 3) (pow (/ 2.0 (* t 3.0)) 3)) 6.0) (* (+ (* a a) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* a (/ 2.0 (* t 3.0))))) 5.0)) (- (pow b 3) (pow c 3)))
389.0ms
(* (+ (* (- (pow a 3) (pow (/ 2.0 (* t 3.0)) 3)) 6.0) (* (+ (* a a) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* a (/ 2.0 (* t 3.0))))) 5.0)) (- (* b b) (* c c)))

prune3.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize88.0ms

Local error

Found 4 expressions with local error:

59.9b
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
2.9b
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))) (/ 5.0 6.0)) (- b c))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(/ (sqrt (+ a t)) t)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
24×times-frac
22×add-sqr-sqrt add-cube-cbrt
16×sqrt-prod
11×add-cbrt-cube add-exp-log
10×associate-/l*
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
3×cbrt-undiv div-exp
2×clear-num frac-2neg sqrt-div div-inv associate-/l/
1×flip3-+ prod-exp cbrt-unprod flip-+ fma-udef remove-posit16
Counts
4 → 94
Calls
4 calls:
Slowest
21.0ms
(/ (sqrt (+ a t)) t)
13.0ms
(/ 2.0 (* t 3.0))
0.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
0.0ms
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))) (/ 5.0 6.0)) (- b c))))

series607.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
414.0ms
(fma (/ (sqrt (+ a t)) t) z (- (* (+ (- a (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))) (/ 5.0 6.0)) (- b c))))
104.0ms
(/ (sqrt (+ a t)) t)
51.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
38.0ms
(/ 2.0 (* t 3.0))

simplify1.9s

Counts
78 → 106
Calls
78 calls:
Slowest
243.0ms
(/ (* (* (sqrt (+ a t)) (sqrt (+ a t))) (sqrt (+ a t))) (* (* t t) t))
175.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
165.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
149.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
100.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

prune3.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize136.0ms

Local error

Found 4 expressions with local error:

47.5b
(posit16->real (real->posit16 (- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
5.1b
(/ (sqrt (+ a t)) (/ t z))
3.7b
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
0.3b
(/ 2.0 (* t 3.0))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
474×times-frac
334×*-un-lft-identity
254×add-sqr-sqrt add-cube-cbrt
160×sqrt-prod
114×prod-diff
96×fma-neg
40×distribute-lft-out
26×div-inv
22×associate--r+
14×associate-/r* add-cbrt-cube add-exp-log frac-sub
11×distribute-rgt-in distribute-lft-in
10×associate-/l*
9×flip3-- flip--
8×frac-times
6×frac-add add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 flip3-+ associate-*l/ flip-+ insert-posit16 log1p-expm1-u
3×sub-neg associate-/r/
2×clear-num frac-2neg sqrt-div associate-*r/ associate-/l/
1×diff-log prod-exp cbrt-unprod remove-posit16
Counts
4 → 409
Calls
4 calls:
Slowest
97.0ms
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
25.0ms
(/ (sqrt (+ a t)) (/ t z))
6.0ms
(/ 2.0 (* t 3.0))
1.0ms
(posit16->real (real->posit16 (- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))

series775.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
339.0ms
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
311.0ms
(posit16->real (real->posit16 (- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
89.0ms
(/ (sqrt (+ a t)) (/ t z))
36.0ms
(/ 2.0 (* t 3.0))

simplify1.4m

Counts
570 → 421
Calls
570 calls:
Slowest
826.0ms
(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
792.0ms
(fma (- (- b c)) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (* (- b c) (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0))))
717.0ms
(- (* (sqrt (+ a t)) (* (+ (* (- a (/ 2.0 (* t 3.0))) (- a (/ 2.0 (* t 3.0)))) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)))) (+ b c))) (* (/ t z) (* (+ (pow (- a (/ 2.0 (* t 3.0))) 3) (pow (/ 5.0 6.0) 3)) (- (* b b) (* c c)))))
705.0ms
(- (* (sqrt (+ a t)) (* (* (+ a (/ 2.0 (* t 3.0))) 6.0) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t z) (* (+ (* (- (* a a) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))) 6.0) (* (+ a (/ 2.0 (* t 3.0))) 5.0)) (- (pow b 3) (pow c 3)))))
694.0ms
(- (* (sqrt (+ a t)) (* (- (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (+ (* b b) (+ (* c c) (* b c))))) (* (/ t z) (* (- (* (- a (/ 2.0 (* t 3.0))) (- a (/ 2.0 (* t 3.0)))) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (pow b 3) (pow c 3)))))

prune17.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes751.0ms

Accuracy

0% (1.5b remaining)

Error of 2.2b against oracle of 0.6b and baseline of 2.2b

bsearch14.0ms

end0.0ms

sample6.4s

Algorithm
intervals
Results
2.8s8000×body80valid
2.3s7908×body80nan