Details

Time bar (total: 3.7m)

sample41.0ms

Algorithm
intervals
Results
29.0ms256×body80valid

simplify259.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
259.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

localize19.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
(+ 2 (* (/ (* 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)))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
78×add-cbrt-cube add-exp-log
56×*-un-lft-identity
49×times-frac
32×add-sqr-sqrt
30×prod-exp cbrt-unprod
28×add-cube-cbrt
25×cbrt-undiv div-exp
24×swap-sqr
20×associate-*r* associate-*l*
18×pow1 associate-/r/
12×distribute-lft-out
11×flip3-+ flip-+
9×div-inv
6×add-log-exp
4×insert-posit16
3×associate-/r* associate-/l*
2×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up unswap-sqr associate-/l/
1×+-commutative clear-num sum-log frac-2neg
Counts
4 → 180
Calls
4 calls:
Slowest
58.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
43.0ms
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
36.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
6.0ms
(+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))

series228.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
115.0ms
(/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
46.0ms
(+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
33.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
33.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

simplify36.4s

Counts
188 → 192
Calls
188 calls:
Slowest
1.4s
(* (/ (* (* (* 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 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.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))))

prune1.6s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize69.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)))

rewrite351.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
171.0ms
(* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))
71.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
53.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
35.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))

series159.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
50.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
44.0ms
(* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
37.0ms
(* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 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.2s
(* (* (* (* (/ (* 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 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.9s
(* (* (/ (* (* (* 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.9s
(* (* (/ (* (* (* 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.8s
(* (* (/ (* (* (* 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 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))

prune5.5s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.1s

Algorithm
intervals
Results
941.0ms8000×body80valid