Details

Time bar (total: 1.9m)

sample61.0ms

Algorithm
intervals
Results
44.0ms256×body80valid

simplify17.0ms

Calls
1 calls:
Slowest
17.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.1b

localize38.0ms

Local error

Found 2 expressions with local error:

30.8b
(sqrt (+ (* re re) (* im im)))
0.7b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
24×times-frac
22×log-pow
20×pow1
16×add-sqr-sqrt
15×add-cube-cbrt
8×sqrt-prod
6×sqrt-pow1 pow1/2 associate-/l*
5×distribute-lft-out
4×associate-/r* add-cbrt-cube sqrt-div associate-*l* add-exp-log
2×log-div flip3-+ div-sub swap-sqr flip-+ insert-posit16 add-log-exp
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg div-exp div-inv
Calls
2 calls:
Slowest
55.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
37.0ms
(sqrt (+ (* re re) (* im im)))

series210.0ms

Calls
2 calls:
Slowest
166.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
45.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.9s

Calls
77 calls:
Slowest
461.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))
348.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
316.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
270.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
270.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune786.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.4b

localize25.0ms

Local error

Found 3 expressions with local error:

31.8b
(log (+ (* re re) (* im im)))
0.5b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
0.3b
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
210×associate-/r*
182×frac-times
170×sqrt-prod
169×add-sqr-sqrt
152×*-un-lft-identity
139×add-cube-cbrt
107×associate-/l*
89×times-frac
77×pow1
72×log-pow
32×associate-*r*
31×clear-num
30×frac-2neg
29×associate-*l*
18×add-exp-log
17×add-cbrt-cube
14×associate-*r/
13×associate-*l/
9×unswap-sqr
8×log-prod
5×cbrt-undiv div-exp distribute-lft-out
4×log-div prod-exp cbrt-unprod
3×un-div-inv insert-posit16 div-inv add-log-exp
2×flip3-+ div-sub swap-sqr flip-+
1×rem-log-exp pow-prod-down *-commutative
Calls
3 calls:
Slowest
39.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
33.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
29.0ms
(log (+ (* re re) (* im im)))

series530.0ms

Calls
3 calls:
Slowest
250.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
206.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
74.0ms
(log (+ (* re re) (* im im)))

simplify29.2s

Calls
565 calls:
Slowest
821.0ms
(* (* (* (/ 1/2 (sqrt (log 10))) (/ 1/2 (sqrt (log 10)))) (/ 1/2 (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
477.0ms
(/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt 1))
467.0ms
(/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
360.0ms
(* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
355.0ms
(* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))

prune4.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.3b

localize61.0ms

Local error

Found 4 expressions with local error:

31.8b
(log (+ (* im im) (* re re)))
1.0b
(/ (* (cbrt 1/2) (cbrt 1/2)) (fabs (cbrt (log 10))))
1.0b
(* (/ (sqrt (log 10)) (cbrt 1/2)) (sqrt (cbrt (log 10))))
1.0b
(sqrt (cbrt (log 10)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
181×add-sqr-sqrt
135×times-frac
117×*-un-lft-identity
108×cbrt-prod
105×add-cube-cbrt
74×associate-*l*
58×sqrt-prod
34×associate-*r* associate-/l*
31×unswap-sqr
26×swap-sqr
21×add-cbrt-cube
17×pow1
16×associate-*l/
15×add-exp-log
10×log-pow
9×associate-/r*
8×log-prod
7×cbrt-undiv cbrt-unprod
5×*-commutative distribute-lft-out
4×insert-posit16 add-log-exp
3×div-exp prod-exp
2×rem-sqrt-square log-div clear-num frac-2neg sqrt-pow1 div-inv
1×flip3-+ pow1/2 pow1/3 rem-log-exp pow-prod-down flip-+
Calls
4 calls:
Slowest
31.0ms
(log (+ (* im im) (* re re)))
30.0ms
(* (/ (sqrt (log 10)) (cbrt 1/2)) (sqrt (cbrt (log 10))))
25.0ms
(/ (* (cbrt 1/2) (cbrt 1/2)) (fabs (cbrt (log 10))))
3.0ms
(sqrt (cbrt (log 10)))

series71.0ms

Calls
4 calls:
Slowest
71.0ms
(log (+ (* im im) (* re re)))
0.0ms
(/ (* (cbrt 1/2) (cbrt 1/2)) (fabs (cbrt (log 10))))
0.0ms
(* (/ (sqrt (log 10)) (cbrt 1/2)) (sqrt (cbrt (log 10))))
0.0ms
(sqrt (cbrt (log 10)))

simplify14.3s

Calls
332 calls:
Slowest
580.0ms
(/ (* (* (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt 1/2) (cbrt 1/2))) (* (cbrt 1/2) (cbrt 1/2))) (* (* (fabs (cbrt (log 10))) (fabs (cbrt (log 10)))) (fabs (cbrt (log 10)))))
514.0ms
(/ (* (log (+ (* im im) (* re re))) (/ (* (cbrt 1/2) (cbrt 1/2)) (fabs (cbrt (log 10))))) (* (/ (sqrt (log 10)) (cbrt 1/2)) (sqrt (cbrt (log 10)))))
491.0ms
(/ (* (log (+ (* im im) (* re re))) (/ (* (cbrt 1/2) (cbrt 1/2)) (fabs (cbrt (log 10))))) (* (/ (sqrt (log 10)) (cbrt 1/2)) (sqrt (cbrt (log 10)))))
486.0ms
(/ (* (* (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2)) (* (* (cbrt 1/2) (cbrt 1/2)) (cbrt 1/2))) (* (* (fabs (cbrt (log 10))) (fabs (cbrt (log 10)))) (fabs (cbrt (log 10)))))
434.0ms
(/ (* (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2)))) (* (cbrt (fabs (cbrt (log 10)))) (cbrt (fabs (cbrt (log 10))))))

prune5.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize8.0ms

Local error

Found 3 expressions with local error:

31.8b
(log (+ (* re re) (* im im)))
0.3b
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
0.3b
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
227×add-sqr-sqrt
208×associate-*l/
203×associate-/r*
183×*-un-lft-identity
169×frac-times
167×sqrt-prod
138×add-cube-cbrt
99×associate-*l*
93×times-frac
88×associate-/l*
51×pow1
48×add-exp-log
41×log-pow unswap-sqr
33×associate-*r*
30×clear-num
29×frac-2neg add-cbrt-cube
24×log-prod
22×prod-exp
15×distribute-lft-out
13×associate-*r/
12×cbrt-unprod
11×div-exp
8×distribute-rgt-in distribute-lft-in
6×cbrt-undiv swap-sqr
4×pow-prod-down
3×rec-exp 1-exp un-div-inv *-commutative insert-posit16 div-inv add-log-exp
2×log-div
1×flip3-+ rem-log-exp flip-+
Calls
3 calls:
Slowest
80.0ms
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
50.0ms
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
23.0ms
(log (+ (* re re) (* im im)))

series569.0ms

Calls
3 calls:
Slowest
323.0ms
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
189.0ms
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
56.0ms
(log (+ (* re re) (* im im)))

simplify49.9s

Calls
573 calls:
Slowest
584.0ms
(* (* (/ 1/2 (* (cbrt (sqrt (log 10))) (cbrt (sqrt (log 10))))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (sqrt (log 10)))))
561.0ms
(* (* (* (cbrt 1/2) (cbrt 1/2)) (log (+ (* re re) (* im im)))) (/ 1 (* (cbrt (sqrt (log 10))) (cbrt (sqrt (log 10))))))
531.0ms
(* (* (/ 1/2 (* (cbrt (sqrt (log 10))) (cbrt (sqrt (log 10))))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
520.0ms
(* (* (/ 1/2 (sqrt (sqrt (log 10)))) (log (+ (* re re) (* im im)))) (/ 1 (* (cbrt (sqrt (log 10))) (cbrt (sqrt (log 10))))))
510.0ms
(+ (log (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))) (- (log 1) (log (sqrt (log 10)))))

prune4.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

regimes725.0ms

Accuracy

31.2% (20.9b remaining)

Error of 21.2b against oracle of 0.4b and baseline of 30.7b

bsearch382.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.3s8000×body80valid