Details

Time bar (total: 13.6s)

sample182.0ms

Algorithm
intervals
Results
154.0ms256×body160valid

simplify430.0ms

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize64.0ms

Local error

Found 4 expressions with local error:

62.0b
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
1.0b
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
1.0b
(* 5.5 (pow 33096 8))
1.0b
(* 333.75 (pow 33096 6))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×add-log-exp
14×associate-*r* add-exp-log
12×*-un-lft-identity
10×add-cube-cbrt
9×sum-log
8×unpow-prod-down add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
4×pow1 insert-posit16 sqr-pow
3×flip3-+ flip-+
2×pow-to-exp +-commutative associate-+l+ frac-add pow-exp *-commutative cbrt-unprod
1×distribute-lft-out
Counts
4 → 84
Calls
4 calls:
Slowest
981.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
878.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
8.0ms
(* 5.5 (pow 33096 8))
8.0ms
(* 333.75 (pow 33096 6))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
0.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
0.0ms
(* 333.75 (pow 33096 6))
0.0ms
(* 5.5 (pow 33096 8))

simplify740.0ms

Counts
96 → 88

prune665.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize29.0ms

Local error

Found 4 expressions with local error:

62.0b
(+ (* 333.75 (pow 33096 6)) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
21.5b
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
1.0b
(* 333.75 (pow 33096 6))
1.0b
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
25×add-log-exp
14×sum-log
12×add-sqr-sqrt
9×*-un-lft-identity add-exp-log
7×associate-*r* add-cube-cbrt
6×add-cbrt-cube
4×pow1 unpow-prod-down insert-posit16
3×+-commutative flip3-+ associate-*l* prod-exp flip-+ unswap-sqr
2×associate-+r+ sqr-pow
1×pow-to-exp pow-exp *-commutative cbrt-unprod distribute-lft-out
Counts
4 → 69
Calls
4 calls:
Slowest
206.0ms
(+ (* 333.75 (pow 33096 6)) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
12.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
7.0ms
(* 333.75 (pow 33096 6))
3.0ms
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+ (* 333.75 (pow 33096 6)) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
0.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
0.0ms
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)
0.0ms
(* 333.75 (pow 33096 6))

simplify661.0ms

Counts
78 → 73

prune860.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize62.0ms

Local error

Found 4 expressions with local error:

62.0b
(+ (exp (log (* 1314174534371215466459037696 333.75))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
21.5b
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
4.1b
(exp (log (* 1314174534371215466459037696 333.75)))
1.0b
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)

rewrite283.0ms

Algorithm
rewrite-expression-head
Rules
25×add-log-exp
14×sum-log
12×*-un-lft-identity
7×pow1
5×add-sqr-sqrt exp-prod add-cube-cbrt
4×add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out
3×+-commutative flip3-+ flip-+
2×associate-+r+ log-pow
1×log-prod exp-sum pow-prod-down rem-exp-log
Counts
4 → 60
Calls
4 calls:
Slowest
234.0ms
(+ (exp (log (* 1314174534371215466459037696 333.75))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
24.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
17.0ms
(exp (log (* 1314174534371215466459037696 333.75)))
7.0ms
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+ (exp (log (* 1314174534371215466459037696 333.75))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
0.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
0.0ms
(exp (log (* 1314174534371215466459037696 333.75)))
0.0ms
(+ -7917110904691559438276885483785904448 -874583152769217411136394072064)

simplify504.0ms

Counts
67 → 64

prune401.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize100.0ms

Local error

Found 4 expressions with local error:

62.0b
(+ (pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75)))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
21.5b
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
5.3b
(pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75))))
2.6b
(exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75)))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
26×add-log-exp
13×sum-log
12×*-un-lft-identity
8×pow1 pow-unpow
7×add-sqr-sqrt add-cube-cbrt
5×cbrt-prod
4×add-cbrt-cube add-exp-log insert-posit16
3×unpow-prod-down pow-pow distribute-lft-out
2×+-commutative associate-+r+ exp-prod flip3-+ exp-to-pow log-pow flip-+
1×pow-to-exp pow-prod-down pow-exp sqr-pow rem-exp-log
Counts
4 → 68
Calls
4 calls:
Slowest
171.0ms
(+ (pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75)))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
12.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
9.0ms
(pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75))))
5.0ms
(exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(+ (pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75)))) (+ (+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064)) -12048797378))
0.0ms
(pow (exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75))))) (cbrt (log (* 1314174534371215466459037696 333.75))))
0.0ms
(+ (* 5.5 1439474789212538429291115400277262336) (+ -7917110904691559438276885483785904448 -874583152769217411136394072064))
0.0ms
(exp (* (cbrt (log (* 1314174534371215466459037696 333.75))) (cbrt (log (* 1314174534371215466459037696 333.75)))))

simplify551.0ms

Counts
76 → 72

prune564.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

end0.0ms

sample5.2s

Algorithm
intervals
Results
5.2s8000×body160valid