Details

Time bar (total: 1.4s)

sample38.0ms

Algorithm
intervals
Results
25.0ms329×body80valid

simplify17.0ms

Calls
1 calls:
Slowest
17.0ms
(+ (* d1 d2) (* d1 d3))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ d2 d3))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r*
2×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
1×distribute-rgt-in pow1 distribute-lft-in flip3-+ add-cbrt-cube add-exp-log *-commutative flip-+ insert-posit16 add-log-exp
Calls
1 calls:
Slowest
2.0ms
(* d1 (+ d2 d3))

series43.0ms

Calls
1 calls:
Slowest
43.0ms
(* d1 (+ d2 d3))

simplify186.0ms

Calls
10 calls:
Slowest
105.0ms
(+ (* d2 d2) (- (* d3 d3) (* d2 d3)))
18.0ms
(+ (* d3 d1) (* d2 d1))
17.0ms
(+ (* d3 d1) (* d2 d1))
17.0ms
(+ (* d2 d1) (* d3 d1))
5.0ms
(sqrt (+ d2 d3))

prune181.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample868.0ms

Algorithm
intervals
Results
644.0ms10095×body80valid