Details

Time bar (total: 13.2s)

sample62.0ms

Algorithm
intervals
Results
26.0ms187×body160valid
18.0ms69×body320valid
8.0ms256×pre80true

simplify878.0ms

Calls
1 calls:
Slowest
878.0ms
(+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize11.0ms

Local error

Found 1 expressions with local error:

0.4b
(* (* 2e-16 t) (* 2e-16 t))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1
33×add-sqr-sqrt
26×associate-*l*
24×associate-*r*
17×*-un-lft-identity pow-prod-down
14×swap-sqr
13×add-cbrt-cube add-exp-log add-cube-cbrt
12×unswap-sqr
8×prod-exp cbrt-unprod
5×*-commutative
4×pow-sqr pow-prod-up
2×pow-plus
1×pow2 insert-posit16 add-log-exp
Calls
1 calls:
Slowest
41.0ms
(* (* 2e-16 t) (* 2e-16 t))

series50.0ms

Calls
1 calls:
Slowest
50.0ms
(* (* 2e-16 t) (* 2e-16 t))

simplify3.1s

Calls
86 calls:
Slowest
784.0ms
(* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
592.0ms
(* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))
211.0ms
(* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
175.0ms
(* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))
159.0ms
(* (* 2e-16 (* (cbrt t) (cbrt t))) (* 2e-16 (* (cbrt t) (cbrt t))))

prune474.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.3b
(* t (* 2e-16 (* 2e-16 t)))
0.2b
(* 2e-16 (* 2e-16 t))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
52×associate-*r*
35×add-sqr-sqrt
16×pow1 add-cbrt-cube add-exp-log
15×associate-*l*
14×unswap-sqr
12×*-un-lft-identity add-cube-cbrt
9×pow-prod-down prod-exp cbrt-unprod
5×*-commutative
2×insert-posit16 add-log-exp
Calls
2 calls:
Slowest
81.0ms
(* t (* 2e-16 (* 2e-16 t)))
33.0ms
(* 2e-16 (* 2e-16 t))

series69.0ms

Calls
2 calls:
Slowest
53.0ms
(* t (* 2e-16 (* 2e-16 t)))
16.0ms
(* 2e-16 (* 2e-16 t))

simplify1.8s

Calls
62 calls:
Slowest
316.0ms
(* (* (* 2e-16 2e-16) 2e-16) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))
260.0ms
(* (* (* 2e-16 2e-16) 2e-16) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
150.0ms
(* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))
146.0ms
(* (* (* t t) t) (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t))))
139.0ms
(* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))

prune446.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.3b
(* 2e-16 (* t (* 2e-16 t)))
0.2b
(* t (* 2e-16 t))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
52×associate-*r*
35×add-sqr-sqrt
16×pow1 add-cbrt-cube add-exp-log
15×associate-*l*
14×unswap-sqr
12×*-un-lft-identity add-cube-cbrt
9×pow-prod-down prod-exp cbrt-unprod
5×*-commutative
2×insert-posit16 add-log-exp
Calls
2 calls:
Slowest
89.0ms
(* 2e-16 (* t (* 2e-16 t)))
33.0ms
(* t (* 2e-16 t))

series99.0ms

Calls
2 calls:
Slowest
50.0ms
(* t (* 2e-16 t))
49.0ms
(* 2e-16 (* t (* 2e-16 t)))

simplify1.8s

Calls
62 calls:
Slowest
280.0ms
(* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))
275.0ms
(* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
195.0ms
(* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))
155.0ms
(* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))
152.0ms
(* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))

prune546.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b
(* (* t t) 3.9999999999999997e-32)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
18×associate-*l*
7×*-un-lft-identity add-cube-cbrt unswap-sqr
6×pow1 add-cbrt-cube associate-*r* add-exp-log
4×swap-sqr
3×pow-prod-down prod-exp *-commutative cbrt-unprod
1×insert-posit16 add-log-exp
Calls
1 calls:
Slowest
31.0ms
(* (* t t) 3.9999999999999997e-32)

series32.0ms

Calls
1 calls:
Slowest
32.0ms
(* (* t t) 3.9999999999999997e-32)

simplify721.0ms

Calls
32 calls:
Slowest
227.0ms
(* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))
212.0ms
(* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))
21.0ms
(* 3.9999999999999997e-32 (pow t 2))
20.0ms
(* 3.9999999999999997e-32 (pow t 2))
20.0ms
(* (* t t) 3.9999999999999997e-32)

prune200.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes26.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch1.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s6013×body160valid
685.0ms8000×pre80true
570.0ms1987×body320valid