Details

Time bar (total: 17.1s)

sample61.0ms

Algorithm
intervals
Results
44.0ms256×body80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
113
010

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(hypot re im)
0.6b
(/ (log (hypot re im)) (log 10))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
16×times-frac
12×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
10×log-pow
4×associate-/r* add-cbrt-cube add-exp-log associate-/l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv hypot-udef clear-num frac-2neg div-exp div-inv
Counts
2 → 50
Calls
2 calls:
0.0ms
(hypot re im)
7.0ms
(/ (log (hypot re im)) (log 10))

series239.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(hypot re im)
164.0ms
(/ (log (hypot re im)) (log 10))

simplify1.4s

Counts
56 → 56
Iterations
IterNodes
done5000
31340
2330
1136
080

prune285.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(hypot re im)
0.2b
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
0.5b
(/ (log (hypot re im)) (sqrt (log 10)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
97×add-sqr-sqrt
59×sqrt-prod
57×*-un-lft-identity
51×add-cube-cbrt
32×pow1 associate-*r*
27×add-exp-log log-pow
25×associate-*l*
17×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
5×cbrt-undiv
4×cbrt-unprod associate-/l*
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×rec-exp 1-exp
1×frac-times hypot-udef clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 164
Calls
3 calls:
0.0ms
(hypot re im)
21.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
10.0ms
(/ (log (hypot re im)) (sqrt (log 10)))

series605.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(hypot re im)
214.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
337.0ms
(/ (log (hypot re im)) (sqrt (log 10)))

simplify2.8s

Counts
173 → 173
Iterations
IterNodes
done5000
22907
1507
0191

prune776.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(hypot re im)
0.2b
(* (/ 1 (sqrt (log 10))) (* (log (hypot re im)) (/ 1 (sqrt (log 10)))))
0.3b
(* (log (hypot re im)) (/ 1 (sqrt (log 10))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
46×times-frac
44×add-sqr-sqrt
40×prod-exp
34×*-un-lft-identity
32×add-cube-cbrt
29×add-cbrt-cube associate-*l*
26×associate-*r* sqrt-prod
20×div-exp
17×pow1
12×cbrt-unprod
10×rec-exp 1-exp
7×log-pow
6×cbrt-undiv
5×associate-*r/ unswap-sqr
4×pow-prod-down
3×expm1-log1p-u un-div-inv insert-posit16 log1p-expm1-u add-log-exp
2×frac-times *-commutative div-inv
1×hypot-udef associate-*l/
Counts
3 → 135
Calls
3 calls:
0.0ms
(hypot re im)
62.0ms
(* (/ 1 (sqrt (log 10))) (* (log (hypot re im)) (/ 1 (sqrt (log 10)))))
14.0ms
(* (log (hypot re im)) (/ 1 (sqrt (log 10))))

series584.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(hypot re im)
190.0ms
(* (/ 1 (sqrt (log 10))) (* (log (hypot re im)) (/ 1 (sqrt (log 10)))))
328.0ms
(* (log (hypot re im)) (/ 1 (sqrt (log 10))))

simplify5.1s

Counts
144 → 144
Iterations
IterNodes
done5000
24112
1537
0191

prune603.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
123×pow1
94×log-pow
72×times-frac
48×pow1/3
45×pow-prod-up
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×pow-plus
25×pow-prod-down
18×associate-/l*
15×pow-sqr
10×pow2
9×cbrt-prod
6×add-cbrt-cube add-exp-log
5×pow3
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 151
Calls
4 calls:
91.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series690.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(/ (log (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)))) (log 10))
165.0ms
(cbrt (hypot re im))
158.0ms
(cbrt (hypot re im))
158.0ms
(cbrt (hypot re im))

simplify1.3s

Counts
163 → 163
Iterations
IterNodes
done5001
31637
2530
1263
0144

prune578.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes198.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done15
115
011

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8000×body80valid