Details

Time bar (total: 8.6s)

sample32.0ms

Algorithm
intervals
Results
14.0ms360×body80valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
done24
324
220
112
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x y) (* z t))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt expm1-log1p-u pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube fma-neg diff-log prod-diff add-exp-log add-cube-cbrt log1p-expm1-u flip--
Counts
1 → 16
Calls
1 calls:
13.0ms
(- (* x y) (* z t))

series86.0ms

Counts
1 → 3
Calls
1 calls:
85.0ms
(- (* x y) (* z t))

simplify3.1s

Counts
19 → 19
Iterations
IterNodes
done5001
42150
3919
2306
1104
038

prune132.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x y) (* z t))
0.2b
(* (sqrt (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))))
1.8b
(sqrt (- (* x y) (* z t)))
1.8b
(sqrt (- (* x y) (* z t)))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
14×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
9×flip3-- flip--
8×swap-sqr
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log add-log-exp
5×pow-prod-up
4×expm1-log1p-u frac-times log1p-expm1-u unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 sub-neg rem-square-sqrt pow-plus fma-neg sqrt-unprod diff-log prod-diff prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
13.0ms
(- (* x y) (* z t))
86.0ms
(* (sqrt (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))))
11.0ms
(sqrt (- (* x y) (* z t)))
9.0ms
(sqrt (- (* x y) (* z t)))

series386.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(- (* x y) (* z t))
74.0ms
(* (sqrt (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))))
97.0ms
(sqrt (- (* x y) (* z t)))
147.0ms
(sqrt (- (* x y) (* z t)))

simplify2.6s

Counts
121 → 121
Iterations
IterNodes
done5001
32931
2778
1266
0122

prune682.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes498.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample886.0ms

Algorithm
intervals
Results
420.0ms10459×body80valid