Details

Time bar (total: 4.2m)

sample35.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify261.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
261.0ms
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
0.0b
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
0.0b
(/ (* 2 t) (+ 1 t))

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
83×add-cbrt-cube add-exp-log
62×*-un-lft-identity
53×times-frac
34×add-sqr-sqrt
31×prod-exp cbrt-unprod
30×add-cube-cbrt
27×cbrt-undiv div-exp
24×swap-sqr
20×associate-*r* associate-*l* associate-/r/
18×pow1
14×distribute-lft-out
11×flip3-+ flip-+
10×div-inv
7×associate-/r*
4×insert-posit16 associate-/l* add-log-exp
2×pow2 frac-times clear-num frac-2neg pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up unswap-sqr associate-/l/
Counts
4 → 194
Calls
4 calls:
Slowest
57.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
52.0ms
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
42.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
13.0ms
(/ (* 2 t) (+ 1 t))

series235.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
48.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
46.0ms
(/ (* 2 t) (+ 1 t))
38.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

simplify36.9s

Counts
205 → 206
Calls
205 calls:
Slowest
1.4s
(* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

17.7b
(log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
1.2b
(exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
113×add-exp-log
76×add-cbrt-cube
49×*-un-lft-identity
45×prod-exp
40×times-frac
36×div-exp
34×pow1
30×cbrt-unprod
25×add-sqr-sqrt
24×cbrt-undiv swap-sqr
21×add-cube-cbrt
20×associate-*r* associate-*l*
16×associate-/r/
12×log-pow distribute-lft-out
10×rem-log-exp
9×exp-prod
8×flip3-+ flip-+ div-inv
6×log-div
4×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up insert-posit16 add-log-exp
3×exp-diff
2×log-prod *-commutative unswap-sqr
1×exp-sum rem-exp-log
Counts
4 → 186
Calls
4 calls:
Slowest
93.0ms
(exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
59.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
49.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
27.0ms
(log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))

series199.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
64.0ms
(log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
48.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
44.0ms
(exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
43.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

simplify31.2s

Counts
189 → 198
Calls
189 calls:
Slowest
1.4s
(* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.4s
(* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.3s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.2s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))

prune2.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
0.0b
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

rewrite400.0ms

Algorithm
rewrite-expression-head
Rules
852×add-cbrt-cube add-exp-log
445×prod-exp cbrt-unprod
276×cbrt-undiv div-exp
136×pow1
70×*-un-lft-identity
60×times-frac
39×pow-prod-up
37×swap-sqr
34×add-sqr-sqrt
31×associate-*r* associate-*l*
28×add-cube-cbrt
26×pow-prod-down
25×pow-sqr
24×associate-/r/
21×pow-plus
20×frac-times
18×distribute-lft-out
16×pow2
14×associate-*l/ associate-*r/
12×flip3-+ flip-+ div-inv
4×*-commutative insert-posit16 add-log-exp unswap-sqr
Counts
4 → 475
Calls
4 calls:
Slowest
204.0ms
(* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
62.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
59.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
37.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

series148.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
50.0ms
(* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
37.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
34.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
28.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

simplify2.9m

Counts
538 → 487
Calls
538 calls:
Slowest
3.3s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
3.2s
(* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
2.9s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
2.7s
(* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))
2.6s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))

prune5.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes66.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.0s

Algorithm
intervals
Results
900.0ms8000×body80valid