Details

Time bar (total: 6.6m)

sample212.0ms

Algorithm
intervals
Results
91.0ms256×body80valid
68.0ms287×body80nan

simplify543.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.2b

localize72.0ms

Local error

Found 4 expressions with local error:

5.3b
(/ (* z (sqrt (+ t a))) t)
2.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite102.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:
Slowest
40.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
30.0ms
(* z (sqrt (+ t a)))
16.0ms
(/ 2.0 (* t 3.0))
12.0ms
(/ (* z (sqrt (+ t a))) t)

series489.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
255.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
133.0ms
(/ (* z (sqrt (+ t a))) t)
81.0ms
(* z (sqrt (+ t a)))
20.0ms
(/ 2.0 (* t 3.0))

simplify20.0s

Counts
142 → 117
Calls
142 calls:
Slowest
708.0ms
(- (* (/ (* z (sqrt (+ t a))) t) (/ (* z (sqrt (+ t a))) t)) (* (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
702.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))
701.0ms
(- (* (* z (sqrt (+ t a))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))
677.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
662.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))

prune2.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize68.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
1.5b
(/ z (/ t (sqrt (+ t a))))
0.4b
(/ t (sqrt (+ t a)))
0.3b
(/ 2.0 (* t 3.0))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
189×times-frac
138×*-un-lft-identity
106×add-sqr-sqrt add-cube-cbrt
64×sqrt-prod
35×associate-/r*
20×frac-sub
16×add-cbrt-cube add-exp-log distribute-lft-out
11×associate-/r/
10×sqrt-div
9×flip3-- flip-- associate-/l*
8×frac-times flip3-+ flip-+
7×div-inv
6×cbrt-undiv div-exp associate--r+ add-log-exp
4×pow1 associate-*r/ insert-posit16
3×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in
2×associate-*l/ associate--l+
1×diff-log prod-exp cbrt-unprod
Counts
4 → 228
Calls
4 calls:
Slowest
61.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
21.0ms
(/ z (/ t (sqrt (+ t a))))
17.0ms
(/ t (sqrt (+ t a)))
12.0ms
(/ 2.0 (* t 3.0))

series515.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
234.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
131.0ms
(/ t (sqrt (+ t a)))
112.0ms
(/ z (/ t (sqrt (+ t a))))
39.0ms
(/ 2.0 (* t 3.0))

simplify31.7s

Counts
364 → 240
Calls
364 calls:
Slowest
923.0ms
(/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (* (cbrt (sqrt (+ t a))) (cbrt (sqrt (+ t a))))))
857.0ms
(* (/ t (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
815.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
667.0ms
(- (* z (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))
635.0ms
(- (* z (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (/ t (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))

prune5.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize79.0ms

Local error

Found 4 expressions with local error:

57.4b
(posit16->real (real->posit16 (/ t (sqrt (+ t a)))))
2.1b
(- (/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a)))))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
1.5b
(/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a))))))
0.4b
(/ t (sqrt (+ t a)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
30×times-frac
28×add-sqr-sqrt add-cube-cbrt
20×frac-sub
16×sqrt-prod
10×associate-/r*
9×flip3-- flip--
8×frac-times add-cbrt-cube add-exp-log
6×associate-/l* associate--r+ add-log-exp
4×pow1 flip3-+ associate-*r/ flip-+ insert-posit16 distribute-lft-out
3×distribute-rgt-in sub-neg distribute-lft-in
2×cbrt-undiv clear-num frac-2neg sqrt-div div-exp associate-*l/ associate--l+ associate-/r/ div-inv
1×diff-log remove-posit16
Counts
4 → 116
Calls
4 calls:
Slowest
23.0ms
(- (/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a)))))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
10.0ms
(/ t (sqrt (+ t a)))
7.0ms
(posit16->real (real->posit16 (/ t (sqrt (+ t a)))))
4.0ms
(/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a))))))

series605.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
273.0ms
(- (/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a)))))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
125.0ms
(posit16->real (real->posit16 (/ t (sqrt (+ t a)))))
106.0ms
(/ z (posit16->real (real->posit16 (/ t (sqrt (+ t a))))))
100.0ms
(/ t (sqrt (+ t a)))

simplify20.9s

Counts
175 → 128
Calls
175 calls:
Slowest
927.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* (posit16->real (real->posit16 (/ t (sqrt (+ t a))))) (* (- (pow b 3) (pow c 3)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))
770.0ms
(- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (posit16->real (real->posit16 (/ t (sqrt (+ t a))))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
703.0ms
(* (posit16->real (real->posit16 (/ t (sqrt (+ t a))))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))
686.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (posit16->real (real->posit16 (/ t (sqrt (+ t a))))) (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
679.0ms
(* (posit16->real (real->posit16 (/ t (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))

prune4.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.3b

localize117.0ms

Local error

Found 4 expressions with local error:

29.0b
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
6.8b
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
3.9b
(* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))
2.1b
(* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
766×associate-*l/
764×associate-*r/
524×frac-sub
498×flip3-- flip--
364×frac-times
240×sqrt-div
162×associate-/l/
120×flip3-+ flip-+
28×add-cbrt-cube add-exp-log
16×distribute-rgt-in distribute-lft-in
14×pow1
12×prod-exp cbrt-unprod
9×sub-neg
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate--r+
7×associate-*l*
6×pow-prod-down add-log-exp
4×cbrt-undiv div-exp insert-posit16
3×times-frac associate-/l*
2×associate-*r* associate-/r/ *-commutative
1×clear-num associate-/r* frac-2neg diff-log div-sub div-inv difference-of-squares
Counts
4 → 441
Calls
4 calls:
Slowest
766.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
709.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
394.0ms
(* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))
62.0ms
(* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0))

series2.3s

Counts
4 → 12
Calls
4 calls:
Slowest
1.1s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
915.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
292.0ms
(* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))
88.0ms
(* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0))

simplify4.7m

Counts
626 → 453
Calls
626 calls:
Slowest
2.0s
(* (* t (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (sqrt (+ (* t t) (- (* a a) (* t a)))) (+ a (/ 5.0 6.0))) (* (+ b c) (+ (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.7s
(* (* t (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (sqrt (+ (* t t) (- (* a a) (* t a)))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0))))) (* (+ b c) (* (+ (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0))))))))
1.6s
(* (* (sqrt (+ (* t t) (- (* a a) (* t a)))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0))))) (* (+ b c) (* (+ (* (* a a) (* a a)) (+ (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))))))
1.6s
(* (* t (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0))))))))
1.6s
(* (* t (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (sqrt (- t a)) (+ a (/ 5.0 6.0))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0))))))))

prune15.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes391.0ms

Accuracy

79% (0.6b remaining)

Error of 1.1b against oracle of 0.5b and baseline of 3.2b

bsearch467.0ms

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.5s8047×body80nan
1.4s8000×body80valid